Deontic STIT logic, from logical paradox to security policy.
Lirong QiuXin SunPublished in: Soft Comput. (2018)
Keyphrases
- logical framework
- security policies
- access control
- inference rules
- security management
- deontic logic
- reasoning tasks
- network security
- security requirements
- network management
- coalition logic
- security concerns
- distributed systems
- belief revision
- classical logic
- home network
- access control systems
- intrusion detection
- multi agent systems
- unauthorized access
- temporal logic
- data mining
- first order logic
- access control policies
- access control mechanism
- cooperative
- information systems