First page Back Continue Last page Overview Graphics
A Simple, Highly Reusable
Crypto Protocol: CapTP
Preserves source of much power
- Cooperation without vulnerability
Abstracts away distracting features
- Cryptographic protocol design
In-model causality only on provided paths
- Encapsulation, message passing
Composability; signal interoperability
- Message passing, polymorphism