Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance.
Jingde ChengJunichi MiuraPublished in: ARES (2006)
Keyphrases
- information assurance
- information security
- deontic logic
- classical logic
- countermeasures
- security issues
- information systems
- intrusion detection
- smart card
- network security
- smart grid
- cyber security
- information security management
- logic programming
- e government
- iso iec
- modal operators
- cyber defense
- modal logic
- databases