×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [protocol verification]
Documents
Automata. Summary Deterministic Automata Languages Stochastic Automata Other Automata Formalisms Automata with input and output Protocol Representation
309 views
Documents
ProVerif Analysis of the ZRTP Protocol
221 views
Documents
CSEC 10 Oct 2004CPN’04 Workshop1 Experience using Coloured Petri Nets to Model TCP’s Connection Management Procedures Bing Han and Jonathan Billington
215 views
Documents
Distributed Algorithms 2014 Igor Zarivach
23 views
< Prev