The Community for Technology Leaders
RSS Icon
Subscribe
Mar. 4, 2008 to Mar. 7, 2008
ISBN: 978-0-7695-3102-1
pp: 1120-1127
ABSTRACT
In this paper we present a framework based on contexts theory and logic to study how, given a partially specified system, i.e., a system in which there are some unspecified\unknown components, i.e., potential attackers, it is possible to enforce a global security property by controlling all the unspecified parts of the given system. We propose two methods to control them: A centralized method, in which there is a unique controller program that controls all the unspecified components, and a decentralized one in which each unspecified component is monitored by a controller program that forces it to behave correctly, i.e., according to a local requirement found by a reduction of the global one. In both cases we show how to synthesize controller programs that solve the problem.
INDEX TERMS
null
CITATION
Fabio Martinelli, Ilaria Matteucci, "Synthesis of Local Controller Programs for Enforcing Global Security Properties", ARES, 2008, 2012 Seventh International Conference on Availability, Reliability and Security, 2012 Seventh International Conference on Availability, Reliability and Security 2008, pp. 1120-1127, doi:10.1109/ARES.2008.196
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool