Tableaux for Reasoning About Atomic Updates
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A simple and expressive semantic framework for policy composition in access control
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
| Hi-index | 0.00 |