Planning-Based Security Testing of the SSL/TLS Protocol.
Josip BozicKristoffer KleineDimitris E. SimosFranz WotawaPublished in: ICST Workshops (2017)
Keyphrases
- cryptographic protocols
- authentication protocol
- security protocols
- security analysis
- key agreement protocol
- security properties
- electronic voting
- key exchange protocol
- security model
- key agreement
- mutual authentication
- denial of service attacks
- diffie hellman
- communication protocols
- security issues
- information security
- key distribution
- planning problems
- secure multiparty computation
- lightweight
- homomorphic encryption
- elliptic curve
- semi supervised learning
- test cases
- security requirements
- rfid systems
- cryptographic algorithms
- heuristic search
- security services
- smart card
- mobile payment
- key management
- ban logic
- virtual private network
- privacy preserving
- provably secure
- security mechanisms
- mobile agent system
- network security
- secure communication
- trust negotiation
- network layer
- sensitive data
- secret key
- messages exchanged
- intrusion detection
- protocol specification
- communication protocol
- parameter estimation
- contractual obligations
- secure routing
- encryption scheme
- semi honest
- group communication
- trusted third party
- security policies