Monter d'un niveau |
Cuppens, F., & Demolombe, R. (octobre 1997). A Modal Logical Framework for Security Policies [Communication écrite]. 10th International Symposium on Foundations of Intelligent Systems (ISMIS 1997), Charlotte, North Carolina, USA. Lien externe