147 search results - page 13 / 30 » An intruder model for verifying liveness in security protoco... |
115
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
127
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
140
click to vote
IJNSEC
2008
15 years 1 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
114
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
113
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...