Published 2005 | Version v1
Publication

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

Additional details

Identifiers

URL
http://hdl.handle.net/11567/230430
URN
urn:oai:iris.unige.it:11567/230430

Origin repository

Origin repository
UNIGE