1490 search results - page 233 / 298 » The Logic of Authentication Protocols |
115
click to vote
PKC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
109
Voted
DIM
2005
ACM
15 years 2 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
105
click to vote
IJFCS
2006
15 years 19 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
137
Voted
JSAC
2006
15 years 18 days ago
2006
Abstract-- As mobile ad hoc network applications are deployed, security emerges as a central requirement. In this paper, we introduce the wormhole attack, a severe attack in ad hoc...
131
Voted
JOC
2011
14 years 7 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...