13 search results - page 1 / 3 » acsd 2010 |
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
ACSD
2010
IEEE
13 years 2 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....