Cuppens, F. (octobre 1990). An Epistemic and Deontic Logic for Reasoning about Computer Security [Communication écrite]. 1st European Symposium on Research In Computer Security (ESORICS 1990), Toulouse, France. Non disponible
