718 search results - page 71 / 144 » Security protocols, properties, and their monitoring |
156
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Emerging economic P2P applications share the common need for an efficient, secure payment mechanism. In this paper, we present PPay, a micropayment system that exploits unique cha...
173
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
100
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
150
click to vote
ACNS
2005
Springer
15 years 11 months ago
2005
Springer
Amongst provably secure signature schemes, two distinct classes are of particular interest: the ones with tight reduction (e.g., RSA-PSS), and those which support the use of coupon...
183
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...