Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Monitoring Information Flow
Institut National des Sciences Appliquées de Rennes – Université de Rennes.
2006 (English)In: Proceedings of the Workshop on Foundations of Computer Security, 2006, 19-30 p.Conference paper, Published paper (Refereed)
Abstract [en]

We present an information flow monitoring mechanism for sequential programs. The monitor executes a program on standard data that are tagged with labels indicating their security level. We formalize the monitoring mechanism as a big-step operational semantics that integrates a static information flow analysis to gather information flow properties of non-executed branches of the program. Using the information flow monitoring mechanism, it is then possible to partition the set of all executions in two sets. The first one contains executions which are safe and the other one contains executions which may be unsafe. Based on this information, we show that, by resetting the value of some output variables, it is possible to alter the behavior of executions belonging to the second set in order to ensure the confidentiality of secret data.

Place, publisher, year, edition, pages
2006. 19-30 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-50768OAI: oai:DiVA.org:kth-50768DiVA: diva2:462642
Conference
Workshop on Foundations of Computer Security, FCS´05, Chicago, USA
Note
QC 20111208Available from: 2011-12-07 Created: 2011-12-07 Last updated: 2011-12-08Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 32 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf