Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control

Fabio Massacci. Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Volume 1244 of Lecture Notes in Computer Science, pages 421-435, Springer, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.