39 citations · 56 across the 13 of their papers we have counts for
1 paper · 1 filter
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…