Change search
ReferencesLink to record
Permanent link

Direct link
Automata-based Confidentiality Monitoring
IRISA, F-35042 Rennes, France.
(Facultad de Informatica, Madrid, Spain)
Department of Computing and Information Sciences,sas State University.
2006 (English)In: ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES / [ed] Okada, M, Springer Berlin/Heidelberg, 2006, 75-89 p.Conference paper (Refereed)
Abstract [en]

Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of non-interference, this paper considers dynamic, automaton-based, monitoring of information flow for a single execution of a sequential program. The mechanism is based on a combination of dynamic and static analyses. During program execution, abstractions of program events are sent to the automaton, which uses the abstractions to track information flows and to control the execution by forbidding or editing dangerous actions. The mechanism proposed is proved to be sound, to preserve executions of well-typed programs (in the security type system of Volpano, Smith and Irvine), and to preserve some safe executions of ill-typed programs.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2006. 75-89 p.
, Lecture Notes In Computer Science, ISSN 0302-9743 ; 4435
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-50705DOI: 10.1007/978-3-540-77505-8_7ISI: 000253273700007ISBN: 978-3-540-77504-1OAI: diva2:462626
11th Asian Computing Science Conference Location: Tokyo, JAPAN Date: DEC 06-08, 2006
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

Publisher's full text

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

Altmetric score

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link