Formal and Informal Specifications of a Secure System Component: first results in a comparative study.
John S. FitzgeraldT. M. BrookesM. A. GreenPeter Gorm LarsenPublished in: FME (1994)
Keyphrases
- formal specification
- formal language
- operational semantics
- formal model
- reactive systems
- formal descriptions
- neural network
- lightweight
- comparative study
- database
- key management
- controlled natural language
- cryptographic protocols
- formal and informal learning
- data encryption
- delay insensitive
- authentication scheme
- standard model
- security analysis
- security mechanisms
- security issues