Keyphrases
- security protocols
- cryptographic protocols
- key agreement protocol
- authentication protocol
- key exchange protocol
- rfid systems
- ban logic
- security properties
- security model
- security analysis
- denial of service attacks
- communication protocols
- formal analysis
- security services
- mobile payment
- mutual authentication
- lightweight
- secure multiparty computation
- information security
- cryptographic algorithms
- security requirements
- provably secure
- physical layer
- diffie hellman
- key agreement
- privacy preserving
- elliptic curve
- homomorphic encryption
- electronic voting
- messages exchanged
- key distribution
- medium access control
- key exchange
- access control
- security issues
- wireless networks
- intrusion detection
- blind signature
- security mechanisms
- trust negotiation
- blind signature scheme
- trusted third party
- security problems
- security policies
- network security
- protocol specification
- contractual obligations
- key establishment
- mobile agent system
- group communication
- security threats
- secret key
- rfid tags
- statistical databases