Ell Secure Information System Using Modal Logic Technique.
Yun BaiKhaled M. KhanPublished in: Int. J. Secur. Softw. Eng. (2011)
Keyphrases
- modal logic
- information systems
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- epistemic logic
- classical logic
- sparse representation
- default logic
- security issues
- security requirements
- key management
- dynamic logic
- situation calculus
- artificial intelligence
- model checking
- health care
- fixed point
- conditional logic
- probability distribution
- prime implicates
- norm minimization
- kripke models