Formal Verification of the Secure Sockets Layer Protocol.
Llanos TobarraDiego CazorlaJuan José PardoFernando CuarteroPublished in: ICEIS (3-2) (2008)
Keyphrases
- formal verification
- cryptographic protocols
- coloured petri nets
- model checker
- model checking
- tcp ip
- protocol stack
- covert channel
- security properties
- bounded model checking
- automated verification
- application layer
- security protocols
- symbolic model checking
- authentication protocol
- scalar product
- secure routing
- secure multi party
- key distribution
- homomorphic encryption
- group communication
- multi party
- lightweight
- rfid systems
- program slicing
- secure multiparty computation
- transmission control protocol
- key exchange protocol
- key agreement protocol
- key exchange
- state space
- key management
- security requirements
- computer networks
- privacy preserving
- access control