Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques

Show other versions (1)

Detalles Bibliográficos
Main Authors:	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