Verification of Control Flow based Security Properties.
Thomas P. JensenDaniel Le MétayerTommy ThornPublished in: IEEE Symposium on Security and Privacy (1999)
Keyphrases
- control flow
- security properties
- cryptographic protocols
- formal methods
- data flow
- security requirements
- security analysis
- formal model
- security protocols
- software testing
- process model
- modeling language
- model checking
- workflow management systems
- formal specification
- formal verification
- formal semantics
- knowledge based systems
- web services
- smart card
- software development
- software engineering
- expert systems
- multi agent