Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting-Reference-Cited by-同舟云学术

Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting

Published:2007-07 Issue: Volume:186 Page:101-120
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Matteucci Ilaria

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference32 articles.

1. Andersen, H., “Verification of Temporal Properties of Concurrent Systems,” Ph.D. thesis, Department of Computer Science, Aarhus University, Denmark (1993)

2. Andersen, H.R., Partial model checking, in: LICS '95: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (1995), p. 398

3. Balanced timed regular expressions;Asarin;Electr. Notes Theor. Comput. Sci.,2002

4. Bartoletti, M., P. Degano and G.L. Ferrari, Enforcing secure service composition., in: CSFW (2005), pp. 211–223

5. Basu, S. and C.R. Ramakrishnan, Compositional analysis for verification of parameterized systems, in: Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 2619 (2003), pp. 315–330

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

1. Formal Methods for the Security of Medical Devices¹;Applied Smart Health Care Informatics;2022-02-25

2. Design and Run-Time Aspects of Secure Cyber-Physical Systems;Security and Quality in Cyber-Physical Systems Engineering;2019

3. ARMET: Behavior-Based Secure and Resilient Industrial Control Systems;Proceedings of the IEEE;2018-01

4. Fully automated runtime enforcement of component-based systems with formal and sound recovery;International Journal on Software Tools for Technology Transfer;2016-02-03

5. Runtime enforcement of timed properties revisited;Formal Methods in System Design;2014-10-28