A Logic for Reasoning About Security.
Janice I. GlasgowGlenn H. MacEwenPrakash PanangadenPublished in: ACM Trans. Comput. Syst. (1992)
Keyphrases
- formal theory
- modal operators
- network security
- information security
- security requirements
- qualitative reasoning
- classical logic
- access control
- statistical databases
- information assurance
- security measures
- security systems
- intrusion detection
- multi valued
- security issues
- key management
- proof theory
- asynchronous circuits
- security properties
- causal reasoning
- computer security
- predicate logic
- automated reasoning
- security threats
- modal logic
- security protocols
- security management
- practical reasoning
- smart card
- functional requirements