1612 search results - page 91 / 323 » About models of security protocols |
135
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
125
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
114
click to vote
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
136
Voted
JCS
2011
14 years 11 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
133
click to vote
JCS
2010
15 years 2 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...