1612 search results - page 21 / 323 » About models of security protocols |
ACISP
2008
Springer
15 years 4 months ago
2008
Springer
In the pre-specified peer model for key agreement, it is assumed that a party knows the identifier of its intended communicating peer when it commences a protocol run. On the oth...
103
click to vote
SAM
2004
14 years 11 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
100
click to vote
JOC
2007
14 years 9 months ago
2007
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their inputs. In the stand-alone case, it ha...
ESORICS
2007
Springer
15 years 3 months 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...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...