39 citations · 44 across the 6 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.LO2007★ 1 cited
Deciding security properties for cryptographic protocols. Application to key cycles
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
There is a large amount of work dedicated to the formal verification of security protocols. In this paper, we revisit and extend the NP-complete decision procedure for a bounded nu…
cs.CR2007★ 39 cited
Relating two standard notions of secrecy
Veronique Cortier, Michael Rusinovitch, Eugen Zalinescu
Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never…