4111 search results - page 363 / 823 » Security, Protocols, and Trust |
226
click to vote
CSFW
1999
IEEE
15 years 12 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
203
click to vote
CRYPTO
2000
Springer
15 years 12 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...
188
click to vote
IACR
2011
14 years 7 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
189
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
We consider group key agreement (GKA) protocols, used by a group of peers to establish a shared secret key for multicast communications. There has been much previous work to impro...
213
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Distance bounding protocols have been proposed as means of detecting relay attacks, also known as mafia fraud. In this paper we present the first symmetric key based distance bou...