Publisher
Springer International Publishing
Reference20 articles.
1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Alvim, M.S., Chatzikokolakis, K., Palamidessi, C., Smith, G.: Measuring information leakage using generalized gain functions. In: Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012), pp. 265–279, June 2012
3. Back, R.-J.R.: Correctness preserving program refinements: proof theory and applications, Tract 131, Mathematisch Centrum, Amsterdam (1980)
4. Denning, D.: Cryptography and Data Security. Addison-Wesley, Boston (1983)
5. Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 75–86. IEEE Computer Society (1984)