Adi, K. (Kamel)
Adi, Kamel
Adi, K.
Kamel Adi professeur d'informatique à l'UQO
VIAF ID: 106288196 ( Personal )
Permalink: http://viaf.org/viaf/106288196
Preferred Forms
- 100 1 _ ‡a Adi, K.
-
-
- 100 | _ ‡a Adi, Kamel
- 100 0 _ ‡a Kamel Adi ‡c professeur d'informatique à l'UQO
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
A finite, complete and sound tableau-based system for a new logic for e-commerce cryptoprotocols | |
form: | |
Formal specification and analysis of security protocols. | |
New technologies in distributed systems = Nouvelles technologies des systèmes répartis | |
NOTERE 2005 : actes du 5e Colloque international sur les nouvelles technologies de la répartition : Gatineau, Canada, août 2005 | |
Verification and validation of healthcare access control policies. | |
Vérification et validation de politiques de contrôle d'accès dans le domaine médical |