Redesigning Secure Protocols to Compel Grammatical Compliance Checking.
Keith IrwinPublished in: IEEE Symposium on Security and Privacy Workshops (2018)
Keyphrases
- cryptographic protocols
- security protocols
- key distribution
- key exchange
- authentication protocol
- key agreement protocol
- secure multiparty computation
- application level
- security services
- multi party
- key establishment
- security properties
- key management
- security analysis
- security requirements
- mutual authentication
- group communication
- security issues
- privacy preserving
- reverse engineering
- natural language
- data protection
- trusted third party
- context free grammars
- homomorphic encryption
- scalar product
- communication protocol
- diffie hellman
- communication protocols
- user authentication
- digital signature
- security mechanisms
- encryption scheme
- sensitive data
- smart card
- lightweight