Protocol Verification in a Software Component-Based Approach.
Inès MouakherJeanine SouquièresFrancis AlexandrePublished in: ECBS (2008)
Keyphrases
- software components
- protocol specification
- cryptographic protocols
- formal specification
- model checker
- software systems
- software reuse
- software development
- formal analysis
- model checking
- lightweight
- web services
- formal proof
- reusable components
- commercial off the shelf
- colored petri nets
- building blocks
- development environments
- software modules
- security protocols
- communication protocols
- authentication protocol
- security analysis
- formal methods
- software engineering
- design rationale
- database
- petri net
- component based architecture