270 search results - page 38 / 54 » Verifying Second-Level Security Protocols |
121
Voted
CCR
2000
15 years 3 months ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
128
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
The small subgroup confinement attack works by confining cryptographic operations within a small subgroup, in which exhaustive search is feasible. This attack is overt and hence ca...
164
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Anonymity is a security property of paramount importance, as we move steadily towards a wired, online community. Its import touches upon subjects as different as eGovernance, eBusi...
97
Voted
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
pwdArmor is a framework for fortifying conventional password-based authentications. Many password protocols are performed within an encrypted tunnel (e.g., TLS) to prevent the exp...
160
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...