Assertional Verification of a Connection Management Protocol.
András L. OláhSonia M. Heemstra de GrootPublished in: FORTE (1995)
Keyphrases
- cryptographic protocols
- model checking
- protocol specification
- management system
- model checker
- formal analysis
- decision support
- formal proof
- information management
- lightweight
- data management
- knowledge management
- data processing
- network management
- formal methods
- information systems
- real time
- security protocols
- signature verification
- authentication protocol
- software engineering
- communication protocols
- decision making