718 search results - page 20 / 144 » Security protocols, properties, and their monitoring |
109
click to vote
IPL
2006
15 years 1 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
134
Voted
APN
2008
Springer
15 years 3 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...
103
click to vote
ACNS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
111
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Although modern communications services are susceptible to third-party eavesdropping via a wide range of possible techniques, law enforcement agencies in the US and other countrie...
103
Voted
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...