Publications de
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
ORBAC : un modèle de contrôle d’accès basé sur les organisations
Dans : Cahiers francophones de la recherche en sécurité de l’information, Vol. 2, p. 30-40, 2003.
Alessandro Armando, David Basin , Yohann Boichut, Yannick Chevalier, Al. Et
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Dans : Computer-Aided Verification, Edinburgh, Scotland, UK, 06/07/05-10/07/05, Etessami Kousha, Rajamani Sriram (Eds.), Springer-Verlag, p. 1-5, juillet 2005.
Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Al. Et
Modèles et politiques de sécurité des systèmes d’information et de communication en santé et en social
Dans : Giseh 2003, xxx, 01/01/03-31/12/03, xxx, janvier 2003.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
Organization based access control
Dans : Policies for Distributed Systems and Networks (POLICY 2003), Como, 01/01/03-31/12/03, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, p. 120-131, janvier 2003.