A Modal Logical Framework for Security Policies

Frédéric Cuppens, Robert Demolombe. A Modal Logical Framework for Security Policies. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 10th International Symposium, ISMIS 97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings. Volume 1325 of Lecture Notes in Computer Science, pages 579-589, Springer, 1997.

Abstract

Abstract is missing.