Model-Checking Secure Information Flow for Multi-threaded Programs-Reference-Cited by-同舟云学术

Model-Checking Secure Information Flow for Multi-threaded Programs

Published:2012 Issue: Volume: Page:148-165
ISSN:0302-9743
Container-title:Theory of Security and Applications
language:
Short-container-title:

Author:

Huisman Marieke,Blondeel Henri-Charles

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-27375-9_9

Reference23 articles.

1. Barthe, G., D’Argenio, P., Rezk, T.: Secure information flow by self-composition. In: Computer Security Foundation Workshop (CSFW 2017). IEEE Press, Los Alamitos (2004)

2. Blondeel, H.-C.: Security by logic: characterizing non-interference in temporal logic. Master’s thesis, KTH Sweden (2007), ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/blondeel.pdf

3. Boudol, G., Castellani, I.: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1-2), 109–130 (2002)

4. Lecture Notes in Computer Science;T. Chen,2007

5. Dam, M., Gurov, D.: mu-calculus with explicit points and approximations. Journal of Logic and Computation 12, 43–57 (2002)

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

1. Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs;Mathematical and Computational Applications;2019-06-17

2. Secure Information Flow Analysis Using the PRISM Model Checker;Information Systems Security;2019

3. Model checking the observational determinism security property using PROMELA and SPIN;Formal Aspects of Computing;2015-11

4. Verifying Observational Determinism;ICT Systems Security and Privacy Protection;2015

5. Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis;Logic-Based Program Synthesis and Transformation;2015