Analyzing a Library of Security Protocols using Casper and FDR

Analyzing a Library of Security Protocols using Casper and FDR

מידע ביבליוגרפי
Main Authors: Donovan, B, Norris, P, Lowe, G
פורמט: Conference item
יצא לאור: 1999

פריטים דומים