51692 search results - page 10213 / 10339 » it 2008 |
122
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
141
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
137
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
142
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
143
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...