3115 search results - page 3 / 623 » Synthesizing Secure Protocols |
CAINE
2003
13 years 7 months ago
2003
Most security protocols share a similar set of algorithms and functions and exhibit common sequences and patterns in the way they operate. These observations led us to propose a u...
CCS
1993
ACM
13 years 10 months ago
1993
ACM
Many recent research e orts in computer security focus on constructing provably secure authentication protocols. Although many of the resulting protocols rely on the a priori secu...
APN
2010
Springer
13 years 11 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
TPHOL
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
ECOOP
1998
Springer
13 years 10 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...