719 search results - page 66 / 144 » Proving Security Protocols Correct |
172
click to vote
CSFW
2006
IEEE
16 years 3 days ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
167
click to vote
SP
2009
IEEE
16 years 24 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
123
click to vote
ACSAC
2008
IEEE
16 years 16 days 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...
137
click to vote
IH
2001
Springer
15 years 10 months ago
2001
Springer
The goal of zero-knowledge watermark detection is to allow a prover to soundly convince a verifier of the presence of a watermark in certain stego-data without revealing any infor...
156
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...