199 search results - page 20 / 40 » A survey of algebraic properties used in cryptographic proto... |
115
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
106
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
128
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
108
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
93
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...