297 search results - page 32 / 60 » Model Checking Guarded Protocols |
125
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
144
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
116
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
120
click to vote
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
118
Voted
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...