Keyphrases
- security analysis
- cryptographic protocols
- authentication protocol
- covert channel
- mutual authentication
- security requirements
- scalar product
- key exchange
- secure routing
- key distribution
- security model
- public key
- security protocols
- smart card
- security properties
- group communication
- privacy preserving
- vertically partitioned data
- provably secure
- lightweight
- diffie hellman
- key exchange protocol
- homomorphic encryption
- key agreement protocol
- password authentication
- encryption scheme
- secure multiparty computation
- user authentication
- multi party
- secure multi party
- contract net protocol
- formal analysis
- key management
- authentication scheme
- key establishment
- standard model
- private key
- wireless sensor networks
- secret key
- rfid systems
- key agreement
- multi agent systems
- information security
- data sharing
- access control
- cryptographic algorithms
- secure communication
- security services
- tcp ip