Bieber, P., & Cuppens, F. (juin 1991). A Definition of Secure Dependencies Using the Logic of Security [Communication écrite]. 4th Computer Security Foundations Workshop, Franconia, NH, USA. Lien externe