Documents publiés en "1997"
Nombre de documents: 1
Communication écrite
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