Jump to main content
US EPA
United States Environmental Protection Agency
Search
Search
Main menu
Environmental Topics
Laws & Regulations
About EPA
Health & Environmental Research Online (HERO)
Contact Us
Print
Feedback
Export to File
Search:
This record has one attached file:
Add More Files
Attach File(s):
Display Name for File*:
Save
Citation
Tags
HERO ID
7688896
Reference Type
Journal Article
Title
Computing the Infimal Superlanguage for Generalized Observability
Author(s)
Ben Said, A; Lin, F; Ben Hadj-Alouane, N; Yeddes, M; ,
Year
2011
Publisher
IEEE
Location
NEW YORK
Page Numbers
1714-+
Web of Science Id
WOS:000323234701048
Abstract
In this paper, we derive formulas for computing the infimal observable superlanguage and show their applications in studying intransitive non-interference (INI), a fundamental property used in characterizing the security of computer-based systems and network protocols. The definition of observability is generalized since the original one, although suitable for supervisory control, is not general enough for the study of [NI and other security applications. We derive formulas for computing the infimal observable superlanguage, based on this more general definition. We also investigate the implementation of these formulas (i.e., actually computing the automata generating infimal observable superlanguages). At the heart of this implementation, is the computation of a special mapping used by the formulas. It is computed through the construction of an automaton generating the mapped language from the automaton generating the original language. Based on these formulas and their implementations, we address the problem of modifying a system to satisfy the property of INI (i.e., for the purpose of actually securing an insecure system). Our modification is based on computing the infimal iP-observable superlanguage, of a given language, since the property of TNT is captured by iP-observability.
ISBN
978-1-4244-8736-3
Conference Name
23rd Chinese Control and Decision Conference
Conference Location
Mianyang, PEOPLES R CHINA
Home
Learn about HERO
Using HERO
Search HERO
Projects in HERO
Risk Assessment
Transparency & Integrity