Protocol Exchange Conference, 2004

None
videos
views
Last updated
Protocol Exchange 2004, at CISR (http://www.cisr.us) at the Naval Postgraduate School (http://www.nps.edu)
48:15
Cathy Meadows, "Cryptographic Protocol Analysis" (2/9/04)
By securitylectures
  • 772 views
43:51
Carolyn Talcott, "The Maude Execution Environment" (2/9/04)
By securitylectures
  • 469 views
50:15
Al Maneki (NSA), "Strand Spaces" (2/10/04)
By securitylectures
  • 262 views
42:40
Joshua Guttman, "Strand Spaces Concepts" (2/11/04)
By securitylectures
  • 291 views