3115 search results - page 411 / 623 » Synthesizing Secure Protocols |
154
click to vote
CSFW
2007
IEEE
16 years 26 days ago
2007
IEEE
We study simulation relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. T...
188
click to vote
ESORICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
160
click to vote
HIP
2005
Springer
16 years 1 days ago
2005
Springer
Efforts to defend against automated attacks on e-commerce services have led to a new security protocol known as a CAPTCHA, a challenge designed to exploit gaps in the perceptual a...
148
click to vote
MMSEC
2004
ACM
15 years 12 months ago
2004
ACM
In the paper, we address oracle attacks for integrity watermarking in a communication setting. We show how an integrity verification algorithm can be modified in order to counte...
148
click to vote
CLADE
2003
IEEE
15 years 11 months ago
2003
IEEE
The Grid community is actively working on defining, deploying and standardizing protocols, mechanisms, and infrastructure to support decentralized, seamless, and secure interacti...