Runtime enforcement of timed properties revisited
- 28 October 2014
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 45 (3), 381-422
- https://doi.org/10.1007/s10703-014-0215-y
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Enforceable Security Policies RevisitedACM Transactions on Information and System Security, 2013
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- Do you really mean what you actually enforced?International Journal of Information Security, 2011
- Runtime enforcement monitors: composition, synthesis, and enforcement abilitiesFormal Methods in System Design, 2011
- Run-Time Enforcement of Nonsafety PoliciesACM Transactions on Information and System Security, 2009
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed SettingElectronic Notes in Theoretical Computer Science, 2007
- Patterns for Timed Property SpecificationsElectronic Notes in Theoretical Computer Science, 2006
- Monitoring Algorithms for Metric Temporal Logic SpecificationsElectronic Notes in Theoretical Computer Science, 2005
- Enforceable security policiesACM Transactions on Information and System Security, 2000
- A theory of timed automataTheoretical Computer Science, 1994