A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Safe Equivalences for Security Properties
[chapter]
2010
IFIP Advances in Information and Communication Technology
In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference) based on the principle that a protocol P with a variable x satisfies such property if and only if, for every pair of secrets s1 and s2, P [ s 1 /x] is equivalent to P [ s 2 /x]. We argue that, in the presence of nondeterminism, the above principle relies on the assumption that the scheduler "works for the benefit of the
doi:10.1007/978-3-642-15240-5_5
fatcat:g5vlvv32grbi7er5b6s6nmgdym