464 search results - page 87 / 93 » Validating Attacks on Authentication Protocols |
IACR
2011
12 years 7 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
SRDS
2007
IEEE
14 years 1 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
In recent years, trust negotiation (TN) has been proposed as a novel access control solution for use in open system environments in which resources are shared across organizationa...
ACSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
Mashups have emerged as a Web 2.0 phenomenon, connecting disjoint applications together to provide unified services. However, scalable access control for mashups is difficult. T...