A Protocol Compiler for Secure Sessions in ML.
Ricardo CorinPierre-Malo DeniélouPublished in: TGC (2007)
Keyphrases
- cryptographic protocols
- covert channel
- authentication protocol
- secure routing
- scalar product
- key distribution
- security protocols
- group communication
- security analysis
- key agreement protocol
- lightweight
- homomorphic encryption
- key exchange protocol
- maximum likelihood
- electronic voting
- multi party
- programming language
- secure multi party
- rfid systems
- vertically partitioned data
- security requirements
- key exchange
- privacy preserving
- provably secure
- general purpose
- cryptographic algorithms
- key establishment
- security model
- diffie hellman
- blind signature
- secure multiparty computation
- security properties
- trusted third party
- mutual authentication
- public key
- wireless medium
- software systems
- key management
- security issues
- data sharing
- private key
- secure communication
- key agreement
- user privacy
- rfid tags
- user authentication
- blind signature scheme
- digital signature
- encryption scheme
- tcp ip