A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Comparing Controlled System Synthesis and Suppression Enforcement
2020
Zenodo
Preserved Fulltext
Runtime enforcement and control system synthesis are two verication techniques that automate the process of transforming an erroneous system into a valid one. ...
In this paper, we investigate the interplay between these two techniques and identify control system synthesis as being the static counterpart to suppression-based runtime enforcement, in the context of ...
models for suppression enforcement and controlled system synthesis adapted from [5] and [24] respectively. ...
doi:10.5281/zenodo.3743171
fatcat:3blgwauhszd3jkhf3quroriu4m
A process calculus approach to correctness enforcement of PLCs (full version)
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We define a synthesis algorithm that given an uncorrupted PLC returns a monitor that enforces the correctness of the PLC, even when injected with malware that may forge/drop actuator commands and inter-controller ...
We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched with monitors enforcing ...
., an enforcement mechanism able of replacing, suppressing, or even inserting system actions. ...
arXiv:2007.09399v2
fatcat:cbqlxkngfnbn7oq6n32ojxagoe
You Should Better Enforce Than Verify
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
of systems and to guarantee desired behaviors. ...
Then, we overview existing work on runtime enforcement monitor synthesis. Finally, we propose some future challenges for the runtime enforcement technique. ...
This tutorial is partially built on previously published material by the author and his colleagues J.-C. Fernandez and L. Mounier. Also, the author is much in debt to K. ...
doi:10.1007/978-3-642-16612-9_9
fatcat:644w52hvwjdargcsoclapzpgvy
Resonance Vibration Control for AMB Flexible Rotor System Based on µ-Synthesis Controller
2018
Mathematical Problems in Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The simulation and experimental results indicate that the designed μ-synthesis controller, which shows great robustness to modal perturbation, can effectively suppress the resonance vibration of flexible ...
Finally, the μ-synthesis controller is designed. ...
Compared to H∞ control, the -synthesis can address explicitly the parametric uncertainty in system and specify the performance specification to reduce the controller conservatism. ...
doi:10.1155/2018/4362101
fatcat:mkax5m5menh6hiyudtx7sjttlm
Runtime Enforcement of Programmable Logic Controllers
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Our monitors correct and suppress incorrect actions coming from corrupted controllers and emit actions in full autonomy when the controller under scrutiny is not able to do so in a correct manner. ...
s edit automata to enforce controllers represented in Hennessy and Regan's Timed Process Language. ...
ACKNOWLEDGMENTS We thank the anonymous reviewers for their insightful and careful reviews. ...
arXiv:2105.10668v2
fatcat:m4mwkhoasfaadb624yyfnnckmu
Industrial Control Systems Security via Runtime Enforcement
2022
ACM Transactions on Privacy and Security
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Our monitors do mitigation by correcting and suppressing incorrect actions of corrupted controllers and by generating actions in full autonomy when the controller under scrutiny is not able to do so in ...
s edit automata to enforce controllers represented in Hennessy and Regan's Timed Process Language . ...
ACKNOWLEDGMENTS We thank the anonymous reviewers for their insightful and careful reviews. ...
doi:10.1145/3546579
fatcat:acmqewdfljdkjmt6l2rsurwmpe
Slewing and vibration control of a nonlinear flexible spacecraft
2010
Proceedings of the 2010 American Control Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The first controller is based on dynamic inversion, while the second approach is composed of dynamic inversion and µ-synthesis schemes. ...
The performances of the proposed controllers are compared in terms of nominal performance, robustness to uncertainties, vibration suppression of panel, sensitivity to measurement noise, environment disturbance ...
Recently, considerable efforts have been made to design robust control systems for simultaneous attitude control and vibration suppression of flexible spacecraft. ...
doi:10.1109/acc.2010.5531493
fatcat:h7l6qviqv5ffxkuq545qkhri2u
A framework for automatic generation of security controller
2010
Software testing, verification & reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Moreover, we describe a tool for the synthesis of secure systems which is able to generate appropriate controller programs. ...
This paper concerns the study, the development and the synthesis of mechanisms for guaranteeing the security of complex systems, i.e., systems composed by several interacting components. ...
Section 3 proposes our approach for the synthesis of controller program able to enforce such security properties. ...
doi:10.1002/stvr.441
fatcat:74glxk6ybrhozgh65digxhstvy
Positive effect of glutamine-enforced parenteral nutrition on immune function and stress response of patients after esophageal cancer operation
2016
Turkish Journal of Thoracic and Cardiovascular Surgery
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Conclusion: Compared with conventional parenteral nutrition, glutamine-enforced parenteral nutrition support may significantly improve the immune function and reduce stress response in patients after esophageal ...
On the first postoperative day, all indicators of experimental group were superior to the control group except for levels of C reactive protein, immunoglobulin M, and CD3+ and CD8+ cells (p>0.05). ...
Funding The authors received no financial support for the research and/or authorship of this article. ...
doi:10.5606/tgkdc.dergisi.2016.12518
fatcat:27ifdfgb5fc6xdlcblv76ac6k4
Through Modeling to Synthesis of Security Automata
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Here we give the semantics of four controllers that act by monitoring possible un-trusted component of a system in order to enforce certain security policies. ...
We define a set of process algebra operators, that we call controller operators, able to mimic the behavior of security automata introduced by Schneider in [17] and by Ligatti and al. in [3]. ...
Synthesis of controller programs Exploiting our framework we can build a program controller Y which allows to enforce a desired security property for any target system X. ...
doi:10.1016/j.entcs.2006.08.029
fatcat:ufqcd5vqsbgynmzly6fqgypomy
Developing Theoretical Foundations for Runtime Enforcement
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The ubiquitous reliance on software systems increases the need for ensuring that systems behave correctly and are well protected against security risks. ...
This allows us to define a synthesis function that translates enforceable formulae into enforcement monitors. ...
Acknowledgements The research work disclosed in this publication is partially supported by the project "Developing Theoretical Foundations for Runtime Enforcement" (184776-051) of the Icelandic Research ...
arXiv:1804.08917v2
fatcat:r577c6ajwrex3nufaeqdyopaoa
An Approach for the Specification, Verification and Synthesis of Secure Systems
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we describe an approach based on open system analysis for the specification, verification and synthesis of secure systems. ...
If necessary, we are also able to automatically synthesize a process that, by controlling the behavior of the possible intruder, enforces the desired secure behavior of the whole system. ...
Synthesis of Controller Programs In previous sections we have presented our approach for analyzing secure systems as open systems. ...
doi:10.1016/j.entcs.2006.12.003
fatcat:ydlm6zly6jcadcai3j5ikahrp4
Artemether Regulates Chemosensitivity to Doxorubicin via Regulation of B7-H3 in Human Neuroblastoma Cells
2017
Medical Science Monitor
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Cell viability (C) and DNA synthesis (D) were measured by CCK-8 assay and EdU incorporation assay, respectively. ** p<0.01, compared with control. ...
Cell viability (A, C, E) and DNA synthesis (B, D, F) were measured by CCK-8 assay and EdU incorporation assay, respectively. ** p<0.01, compared with control; ## p<0.01, compared with doxorubicin (Dox) ...
doi:10.12659/msm.902068
fatcat:konuukydxvgtfofzbfunhjotpy
Quantitative Evaluation of Enforcement Strategies
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
These allow to control target systems by suppressing, inserting, or editing their output sequences. ...
On the other hand, controllers (Section 4) are able to modify the behaviour of a target by using control actions for suppressing or inserting possible incorrect actions. ...
in the context of access control [6] and trust systems [5] . ...
doi:10.1007/978-3-319-05302-8_11
fatcat:q3qmhhw5uzdqje646fysdcglzy
The Requirement for Pre-TCR during Thymic Differentiation Enforces a Developmental Pause That Is Essential for V-DJβ Rearrangement
2011
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In addition, the requirement for TCRb rearrangement and pre-TCR expression enforces suppression of TCRb rearrangement on a second allele, allelic exclusion, thus ensuring that each T cell expresses only ...
We asked if thymocytes that were differentiated without pre-TCR expression, and therefore without pause at the b checkpoint, would suppress all V-DJb rearrangement. ...
Acknowledgments We thank Alfred Singer and Ryo Abe for helpful discussions and comments on this manuscript. ...
doi:10.1371/journal.pone.0020639
pmid:21673984
pmcid:PMC3108609
fatcat:sxqpvixnsrcjpfgtvpqoqoi2va
« Previous
Showing results 1 — 15 out of 29,097 results