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
Precise Dynamic Verification of Confidentiality
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
2009 (English)In: Proceedings of the 16th ACM conference on Computer and communications security, 2009Conference paper, Published paper (Refereed)
Abstract [en]

Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of secret information manipulated by a program. Many static analyses have been developed for the verification of noninterference. In contrast to those static analyses, this paper considers the run-time verification of the respect of confidentiality by a single execution of a program. It proposes a dynamic noninterference analysis for sequential programs based on a combination of dynamic and static analyses. The static analysisis used to analyze some unexecuted pieces of code in order to take into account all types of flows. The static analysis is sensitive to the current program state. This sensitivity allows the overall dynamic analysis to be more precise than previous work. The soundness of the overall dynamic noninterference analysis with regard to confidentiality breaches detection and correction is proved.

Place, publisher, year, edition, pages
2009.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-50369OAI: oai:DiVA.org:kth-50369DiVA: diva2:462165
Conference
16th ACM Conference on Computer and Communications Security 2009 Chicago, IL, USA — November 09 - 13, 2009
Note
QC 20111207Available from: 2011-12-06 Created: 2011-12-05 Last updated: 2011-12-07Bibliographically approved

Open Access in DiVA

No full text

Other links

www.ceur-ws.org

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 14 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