119 search results - page 12 / 24 » Finite models for formal security proofs |
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
CCS
2001
ACM
14 years 2 hour ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
EUROCRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Multiparty signature protocols need protection against roguekey attacks, made possible whenever an adversary can choose its public key(s) arbitrarily. For many schemes, p...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
PKC
2009
Springer
14 years 8 months ago
2009
Springer
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...