Keyphrases
- cryptographic protocols
- security protocols
- authentication protocol
- key agreement protocol
- security properties
- ban logic
- key exchange protocol
- security model
- formal analysis
- secure multiparty computation
- rfid systems
- security requirements
- security analysis
- communication protocols
- mutual authentication
- provably secure
- lightweight
- privacy preserving
- access control
- cryptographic algorithms
- key agreement
- diffie hellman
- information security
- denial of service attacks
- secure routing
- group communication
- network layer
- network security
- physical layer
- virtual private network
- key distribution
- security policies
- semi honest
- protocol specification
- electronic voting
- medium access control
- security problems
- ns simulator
- messages exchanged
- statistical databases
- security mechanisms
- blind signature
- key management
- mobile payment
- mobile agent system
- security threats
- public key
- multi party
- trusted third party
- communication protocol
- application layer
- security services
- intrusion detection
- contractual obligations