1612 search results - page 166 / 323 » About models of security protocols |
108
click to vote
JALC
2006
15 years 4 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
128
click to vote
ICISC
2001
15 years 5 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...
151
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The Common Reference String (CRS) model equips all protocol participants with a common string that is sampled from a pre-specified distribution, say the uniform distribution. Thi...
137
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
144
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We introduce a novel model of routing security that incorporates the ordinarily overlooked variations in trust that users have for different parts of the network. We focus on ano...