Contribution à la modélisation de produit actif communicant : spécification et évaluation d'un protocole de communication orienté sécurité des produits, Contribution to the modeling of active product : specification and Evaluation of a communication protocol oriented products security
Ahmed Zouinkhi