Abstractions of non-interference security: probabilistic versus possibilistic.
Thai Son HoangA. K. McIverLarissa MeinickeCarroll C. MorganAnthony SloaneE. SusatyoPublished in: Formal Aspects Comput. (2014)
Keyphrases
- probability theory
- causal networks
- probabilistic logic
- security issues
- information security
- network security
- security requirements
- bayesian networks
- uncertain data
- security problems
- security systems
- probabilistic model
- access control
- statistical databases
- search algorithm
- possibility theory
- computer security
- possibilistic logic
- security threats
- generative model
- information systems
- security mechanisms
- probabilistic networks
- logic programming