Change search
ReferencesLink to record
Permanent link

Direct link
Automaton-based Non-interference Monitoring of Concurrent Programs
Kansas State University.
2007 (English)Report (Refereed)
Abstract [en]

Earlier work [LGBJS06] presents an automaton-based non-interference monitoring mechanism for sequential programs. This technical report extends this work to a concurrent setting. Monitored programs are constituted of a set of threads running in parallel. Those threads run programs equivalent to those of [LGBJS06] except for the inclusion of a synchronization command. The monitoring mechanism is still based on a security automaton and on a combination of dynamic and static analyses. As in [LGBJS06], the monitoring semantics sends abstractions of program events to the automaton, which uses the abstractions to track information flows and to control the execution by forbidding or editing dangerous actions. All monitored executions are proved to be non-interfering (soundness).

Place, publisher, year, edition, pages
, Technical Report Nr. 2007-1, Department of Computing and Information Sciences, College of Engineering, Kansas State University, USA
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-50790OAI: diva2:462696
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