Compositional Verification of Application-Level Security Properties-Reference-Cited by-同舟云学术

Compositional Verification of Application-Level Security Properties

Published:2013 Issue: Volume: Page:75-90
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Gunawan Linda Ariani,Herrmann Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-36563-8_6

Reference32 articles.

1. Iyer, R.K., Chen, S., Xu, J., Kalbarczyk, Z.: Security Vulnerabilities - from Data Analysis to Protection Mechanisms. In: Proceedings of the Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2003, pp. 331–338 (2003)

2. Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology (August 2008)

3. Kraemer, F.A., Slåtten, V., Herrmann, P.: Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software 82(12), 2068–2080 (2009)

4. CCIS;L.A. Gunawan,2009

5. Lecture Notes in Computer Science;F.A. Kraemer,2010

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

1. SegGuard: Segmentation-based Anonymization of Network Data in Clouds for Privacy-Preserving Security Auditing;IEEE Transactions on Dependable and Secure Computing;2021

2. Security Verification of Industrial Control Systems using Partial Model Checking;Proceedings of the 8th International Conference on Formal Methods in Software Engineering;2020-09-12

3. Security analysis of cloud-connected industrial control systems using combinatorial testing;Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design;2019-10-09

4. 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

5. Formal Security Analysis of Cloud-Connected Industrial Control Systems;Innovative Security Solutions for Information Technology and Communications;2019