44 search results - page 4 / 9 » Version vector protocols implementing session guarantees |
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
111
click to vote
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
70
Voted
WWW
2007
ACM
16 years 9 days ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...
99
Voted
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
LCN
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes a new network device to be located in network edge nodes. The device can deal with congestion conditions that may arise when, for example, a home or SME custo...