29,097 Hits in 4.7 sec

Comparing Controlled System Synthesis and Suppression Enforcement

Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
2020 Zenodo  
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]

Ruggero Lanotte and Massimo Merro and Andrei Munteanu
2020 arXiv   pre-print
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]

Yliès Falcone
2010 Lecture Notes in Computer Science  
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

Shaolin Ran, Yefa Hu, Huachun Wu, Xin Cheng
2018 Mathematical Problems in Engineering  
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]

Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2021 arXiv   pre-print
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

Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2022 ACM Transactions on Privacy and Security  
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

M Malekzadeh, A Naghash, H A Talebi
2010 Proceedings of the 2010 American Control Conference  
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

Fabio Martinelli, Ilaria Matteucci
2010 Software testing, verification & reliability  
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

Xu Bin-Dong
2016 Turkish Journal of Thoracic and Cardiovascular Surgery  
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

Fabio Martinell, Ilaria Matteucci
2007 Electronical Notes in Theoretical Computer Science  
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]

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir
2018 arXiv   pre-print
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

Fabio Martinelli, Ilaria Matteucci
2007 Electronical Notes in Theoretical Computer Science  
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

Wei-Qiang Tan, Gang Chen, Ming Ye, Bing Jia
2017 Medical Science Monitor  
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]

Vincenzo Ciancia, Fabio Martinelli, Matteucci Ilaria, Charles Morisset
2014 Lecture Notes in Computer Science  
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

Karen S. Hathcock, Lila Farrington, Irina Ivanova, Ferenc Livak, Roza Selimyan, Ranjan Sen, Joy Williams, Xuguang Tai, Richard J. Hodes, Mehrdad Matloubian
2011 PLoS ONE  
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