Update/Patch Management Systems: A Protocol Taxonomy with Security Implications.
Andrew M. ColarikClark D. ThomborsonLech J. JanczewskiPublished in: International Information Security Workshops (2004)
Keyphrases
- management system
- cryptographic protocols
- security protocols
- authentication protocol
- key agreement protocol
- ban logic
- security properties
- key exchange protocol
- rfid systems
- formal analysis
- communication protocols
- security analysis
- intrusion detection
- security model
- key agreement
- electronic voting
- security requirements
- provably secure
- mobile payment
- blind signature
- mutual authentication
- elliptic curve
- blind signature scheme
- cryptographic algorithms
- information security
- secure multiparty computation
- database management systems
- security services
- contractual obligations
- protocol specification
- secure routing
- diffie hellman
- denial of service attacks
- physical layer
- lightweight
- security problems
- key distribution
- image patches
- mobile agent system
- key exchange
- privacy preserving
- virtual private network
- security mechanisms
- access control
- semi honest
- key establishment
- network security
- statistical databases
- security issues
- key management
- tcp ip
- security threats
- messages exchanged
- homomorphic encryption
- secret key
- smart card
- communication protocol
- network layer