526 search results - page 30 / 106 » A Z Based Approach to Verifying Security Protocols |
144
Voted
EUROCRYPT
2007
Springer
15 years 7 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
138
Voted
JCS
2011
14 years 10 months ago
2011
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
115
Voted
WECWIS
2005
IEEE
15 years 9 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
125
click to vote
DIM
2008
ACM
15 years 5 months ago
2008
ACM
Public-key based certificates provide a standard way to prove one's identity, as attested by some certificate authority (CA). However, plain certificates provide a binary ide...
147
Voted
CCS
2001
ACM
15 years 8 months ago
2001
ACM
The Domain Name System (DNS) is a distributed database that allows convenient storing and retrieving of resource records. DNS has been extended to provide security services (DNSSE...