A Logic for Reasoning about Security.
Janice I. GlasgowGlenn H. MacEwenPrakash PanangadenPublished in: CSFW (1990)
Keyphrases
- formal theory
- security policies
- modal logic
- access control
- network security
- logic programming
- intrusion detection
- functional requirements
- information security
- security issues
- spatial reasoning
- modal operators
- qualitative reasoning
- information assurance
- security systems
- computer security
- neural network
- security requirements
- asynchronous circuits
- security measures
- security problems
- multi valued
- security properties
- predicate logic
- data security
- classical logic
- logical framework
- automated reasoning
- rfid tags
- knowledge base