Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques

Afficher d'autres versions (1)

Détails bibliographiques
Auteurs principaux:	Roscoe, A, Broadfoot, P
Format:	Journal article
Publié:	1999

Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques par Roscoe, A

Publié 1998

Conference item