[BRa03] On the authentication control of Needham-Schroeder protocol using Petri Nets

Conférence Internationale avec comité de lecture : International Arab Conference on Information Technology (ACIT'2003), Egypte., January 2003,

Auteurs: K. Barkaoui , R. Robbana

motcle:

Résumé: Voir le lien ici

BibTeX

@inproceedings {
	BRa03,
	title	=	"{On the authentication control of Needham-Schroeder protocol using Petri Nets}",
	author	=	" K. Barkaoui and R. Robbana ",
	booktitle	=	"{International Arab Conference on Information Technology (ACIT'2003), Egypte.}",
	year	=	2003,
	month	=	"January",
}