Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations.
Michael BackesCatalin HritcuMatteo MaffeiPublished in: J. Comput. Secur. (2014)
Keyphrases
- covert channel
- cryptographic protocols
- multiple types
- lightweight
- secure routing
- authentication protocol
- efficient implementation
- multi party
- scalar product
- security protocols
- rfid systems
- vertically partitioned data
- key exchange protocol
- mutual authentication
- security properties
- group communication
- secure communication
- key distribution
- provably secure
- trusted third party
- security model
- security analysis
- refinement process
- spatial reasoning
- homomorphic encryption
- privacy protection
- security issues
- password authentication