Monter d'un niveau |
Bieber, P., & Boulahia Cuppens, N. (janvier 1994). Formal Development of Authentication Protocols [Communication écrite]. 6th Refinement Workshop, London, UK. Lien externe
Boulahia Cuppens, N., & Cuppens, F. (mai 1994). Asynchronous composition and required security conditions [Communication écrite]. IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA. Lien externe
Boulahia Cuppens, N., Cuppens, F., Gabillon, A., & Yazdanian, K. (novembre 1994). Decomposition of Multilevel Objects in an Object-Oriented Database [Communication écrite]. 3rd European Symposium on Research in Computer Security (ESORICS 1994), Brighton, United Kingdom. Lien externe