Author:
Di Pierro Alessandra,Hankin Chris,Wiklicky Herbert
Subject
General Computer Science,Theoretical Computer Science
Reference69 articles.
1. A. Aldini, M. Bravetti, R. Gorrieri, A process algebraic approach for the analysis of probabilistic non-interference, J. Comput. Security, 2003, to appear.
2. A. Aldini, A. Di Pierro, A quantitative approach to noninterference for probabilistic systems, in: M. Bravetti, G. Gorrieri (Eds.), Electronic Notes in Theoretical Computer Science, Vol. 99. Elsevier Science, Amsterdam, 2004 (Proc. MEFISTO Project 2003, Formal Methods for Security and Time).
3. Probability and Information—An Integrated Approach;Applebaum,1996
4. C. Baier, H. Hermanns, Weak bisimulation for fully probabilistic processes, in: Proc. 9th Int. Conf. Computer Aided Verification, Lecture Notes in Computer Science, Vol. 1254, Springer, Berlin, 1997, pp. 119–130.
5. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier Science, Amsterdam, 2001.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program Synthesis and Linear Operator Semantics;Electronic Proceedings in Theoretical Computer Science;2014-07-18
2. Probabilistic Analysis of Programs: A Weak Limit Approach;Foundational and Practical Aspects of Resource Analysis;2014
3. A short note on Simulation and Abstraction;Electronic Proceedings in Theoretical Computer Science;2013-09-19
4. Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs;Automata, Languages, and Programming;2013
5. Payoffs, Intensionality and Abstraction in Games;Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky;2013