1106 search results - page 40 / 222 » Automated Design of Security Protocols |
159
click to vote
JUCS
2008
15 years 6 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
164
Voted
TGC
2007
Springer
16 years 7 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
165
Voted
TARK
2007
Springer
16 years 7 days ago
2007
Springer
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
150
Voted
ENTCS
2007
15 years 6 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
165
Voted
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...