BatCave: Adding security to the BATMAN protocol.
Anne Gabrielle BowitzEspen Grannes GraarudLawrie BrownMartin Gilje JaatunPublished in: ICDIM (2011)
Keyphrases
- cryptographic protocols
- authentication protocol
- ban logic
- security protocols
- formal analysis
- key agreement protocol
- security properties
- security model
- security analysis
- key exchange protocol
- secure multiparty computation
- rfid systems
- access control
- denial of service attacks
- security issues
- communication protocols
- mutual authentication
- privacy preserving
- medium access control
- key distribution
- security services
- mobile payment
- information security
- electronic voting
- security requirements
- blind signature
- blind signature scheme
- intrusion detection
- physical layer
- key agreement
- key establishment
- homomorphic encryption
- secure routing
- trust negotiation
- provably secure
- security problems
- network security
- mobile agent system
- security threats
- elliptic curve
- messages exchanged
- sensitive data
- public key
- trusted third party
- key exchange
- diffie hellman
- application layer
- secret key
- contractual obligations