Modular Verification of Information Flow Security in Component-Based Systems-Reference-Cited by-同舟云学术

Modular Verification of Information Flow Security in Component-Based Systems

Published:2017 Issue: Volume: Page:300-315
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Greiner Simon,Mohr Martin,Beckert Bernhard

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66197-1_19

Reference34 articles.

1. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book: From Theory to Practice. Springer, Heidelberg (2016)

2. Askarov, A., Chong, S., Mantel, H.: Hybrid monitors for concurrent noninterference. In: IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13–17 July 2015

3. Lecture Notes in Computer Science;G Barthe,2007

4. Lecture Notes in Computer Science;B Beckert,2013

5. Chong, S., Vikram, K., Myers, A.C., et al.: SIF: Enforcing confidentiality and integrity in web applications. In: USENIX Security, vol. 7 (2007)

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

1. Uncertainty in runtime verification: A survey;Computer Science Review;2023-11

2. A Multilevel Non-interference Vulnerability Analysis Method for Information Leakage Problem;2021 IEEE Sixth International Conference on Data Science in Cyberspace (DSC);2021-10

3. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures;2019 IEEE International Conference on Software Architecture (ICSA);2019-03

4. Compositionality of Component Fault Trees;Model-Based Safety and Assessment;2019

5. Low-deterministic security for low-nondeterministic programs1;Journal of Computer Security;2018-04-09