Petri nets with name creation for transient secure association

ISSN: 0001-5903,  1432-0525

Año de publicación: 2013

Volumen: 50

Número: 7-8

Páginas: 403-436

Tipo: Artículo