Change search
ReferencesLink to record
Permanent link

Direct link
Automaton-based Non-interference Monitoring
Department of Computing and Information Sciences, College of Engineering, Kansas State University.
Facultad de Informatica, Campus Montegancedo S/N, Madrid, Spain.
Department of Computing and Information Sciences · Kansas State University .
2006 (English)Report (Refereed)
Abstract [en]

This report presents a non-interference monitoring mechanism for sequential programs. Non-interference is a property of the information flows of a program. It implies the respect of the confidentiality of the secret information manipulated. The approach taken uses an automaton based monitor. During the execution, abstractions of the events occurring are sent to the automaton. The automaton uses those inputs to track the information flows and to control the execution by forbidding or editing dangerous actions. The mechanism proposed is proved to be sound and more efficient than a type system similar to the historical one developed by Volpano, Smith and Irvine.

Place, publisher, year, edition, pages
2006. , 56 p.
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-50792OAI: diva2:462701
QC 20111208Available from: 2011-12-07 Created: 2011-12-07 Last updated: 2011-12-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Le Guernic, Gurvan
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 8 hits
ReferencesLink to record
Permanent link

Direct link