121
Voted
IFIPTCS
2010
15 years 19 days ago
2010
Abstract. In the field of Security, process equivalences have been used to characterize various information-hiding properties (for instance secrecy, anonymity and non-interference)...