25 search results - page 1 / 5 » A Trace Logic for Local Security Properties |
CORR
2004
Springer
13 years 6 months ago
2004
Springer
CADE
2010
Springer
13 years 7 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 ...
ADHOCNOW
2008
Springer
14 years 18 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
SP
2006
IEEE
14 years 7 days ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
AMAST
2000
Springer
13 years 10 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...