Union and Intersection Types for Secure Protocol Implementations.
Michael BackesCatalin HritcuMatteo MaffeiPublished in: TOSCA (2011)
Keyphrases
- cryptographic protocols
- covert channel
- authentication protocol
- security protocols
- lightweight
- security analysis
- key agreement protocol
- key distribution
- key exchange protocol
- vertically partitioned data
- mutual authentication
- scalar product
- security model
- multi party
- secure routing
- communication protocol
- formal analysis
- security requirements
- secure multi party
- cryptographic algorithms
- key exchange
- group communication
- authentication scheme