Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.
T. M. BrookesJohn S. FitzgeraldPeter Gorm LarsenPublished in: FME (1996)
Keyphrases
- formal specification
- reactive systems
- requirements specification
- formal language
- comparative study
- operational semantics
- user authentication
- model checking
- formal model
- standard model
- software components
- information sharing
- delay insensitive
- high level
- formal descriptions
- security level
- formal analysis
- security protocols
- specification language
- encryption scheme
- neural network
- multi party
- security issues
- software systems
- lightweight
- information systems