Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques

Mostrar otras versiones (1)

Detalles Bibliográficos
Autores principales:	Roscoe, A, Broadfoot, P
Formato:	Journal article
Publicado:	1999

Proving security protocols with model checkers by data independence techniques

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

Publicado 1998

Conference item