Model-Based Testing of Cryptographic Protocols.
Dean RosenzweigDavor RunjeWolfram SchultePublished in: TGC (2005)
Keyphrases
- cryptographic protocols
- model based testing
- test cases
- software development
- software design
- security policies
- testing process
- sequence diagrams
- software testing
- standard model
- authentication protocol
- software engineering
- security protocols
- test data
- test set
- formal verification
- knowledge management
- resource constraints
- data model
- data sets
- development process
- object oriented
- information systems
- regression testing
- neural network