Items where Author is "Bryans, J"
|Up a level|
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Bryans, J and Schneider, SA CSP, PVS and a recursive authentication protocol In: DIMACS Workshop on Design and Formal Veriﬁcation of Security Protocols, 1997-09-03 - ?, Rutgers University.