×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [io automata ioa lynch]
Home >
io automata ioa lynch
Analyzing Security Protocols using Probabilistic I/O Automata
46 views
1 Nancy Lynch MIT, EECS, CSAIL Workshop on Discrete Event Systems (Wodes ’06) Ann Arbor, Michigan July 11, 2006 Analyzing Security Protocols using Probabilistic.
219 views