Two Formal Approaches for Approximating Noninterference Properties-Reference-Cited by-同舟云学术

Two Formal Approaches for Approximating Noninterference Properties

Published:2004 Issue: Volume: Page:1-43
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aldini Alessandro,Bravetti Mario,Di Pierro Alessandra,Gorrieri Roberto,Hankin Chris,Wiklicky Herbert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24631-2_1

Reference59 articles.

1. Lecture Notes in Computer Science;A. Aldini,2001

2. Aldini, A.: On the Extension of Non-interference with Probabilities. In: Guttman, J. (ed.) Proc. of WITS 2002 – 2nd Workshop on Issues in the Theory of Security, Portland, OR, USA (2002)

3. Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Noninterference. Journal of Computer Security (to appear)

4. Lecture Notes in Computer Science;A. Aldini,2002

5. Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Asynchronous session subtyping as communicating automata refinement;Software and Systems Modeling;2021-01-04

2. Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices;Soft Computing;2020-09-04

3. Logical Characterization of Bisimulation Metrics;Electronic Proceedings in Theoretical Computer Science;2016-10-25

4. Probabilistic timing covert channels: to close or not to close?;International Journal of Information Security;2010-05-18

5. A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference;Foundations and Applications of Security Analysis;2009