Formal Specification of Security Requirements using the Theory of Normative Positions.
Andrew J. I. JonesMarek J. SergotPublished in: ESORICS (1992)
Keyphrases
- formal specification
- security requirements
- formal methods
- security properties
- security analysis
- specification languages
- smart card
- process algebra
- object oriented design
- model checking
- security concerns
- specification language
- reverse engineering
- development lifecycle
- security mechanisms
- security policies
- information security
- access control
- mobile commerce
- concurrent systems
- high security
- artificial intelligence