An Executable Specification Language for Planning Attacks to Security Protocols

Stringa bibliografica L. Carlucci Aiello, F. Massacci, "An Executable Specification Language for Planning Attacks to Security Protocols" in Proc. of the 13th IEEE Computer Security Foundations Workshop (CSFW'00), 2000, p. 88-102

Dettaglio

Breve descrizione dei contenuti: IEEE Computer Society Press