741 search results - page 30 / 149 » Verification of security protocols using LOTOS-method and ap... |
127
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
145
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
: In this paper, simulation-based performance evaluation of the Wireless Application Protocol (WAP) Transport Lay er Protocol, which may be suitable for Combat Net Radio (CNR), is ...
145
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
120
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we identify the (P, Q)-DDH assumption, as an extreme, powerful generalization of the Decisional Diffie-Hellman (DDH) assumption: virtually all previously proposed gen...
146
Voted
PET
2009
Springer
15 years 10 months ago
2009
Springer
: © Privacy-Preserving Computation and Verification of Aggregate Queries on Outsourced Databases Brian Thompson, Stuart Haber, William G. Horne, Tomas Sander, Danfeng Yao HP Labor...