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
Information flow testing the third path towards confidentiality guarantee
Kansas State Univ, Manhattan, KS 66506 USA.
2007 (English)In: ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS / [ed] Cervesato, I, Springer Berlin/Heidelberg, 2007, 33-47 p.Conference paper, Published paper (Refereed)
Abstract [en]

Noninterference, which is an information flow property, is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. Noninterference verification mechanisms are usually based on static analyses and, to a lesser extent, on dynamic analyses. In contrast to those works, this paper proposes an information flow testing mechanism. This mechanism is sound from the point of view of noninterference. It is based on standard testing techniques and on a combination of dynamic and static analyses. Concretely, a semantics integrating a dynamic information flow analysis is proposed. This analysis makes use of static analyses results. This special semantics is built such that, once a path coverage property has been achieved on a program, a sound conclusion regarding the noninterfering behavior of the program can be established.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2007. 33-47 p.
Series
Lecture Notes In Computer Science, ISSN 0302-9743 ; 4846
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-50676ISI: 000252104600003ISBN: 978-3-540-76927-9 (print)OAI: oai:DiVA.org:kth-50676DiVA: diva2:462387
Conference
12th Asian Computing Science Conference Location: Doha, QATAR Date: DEC 09-11, 2007
Note
QC 20111207Available from: 2011-12-07 Created: 2011-12-07 Last updated: 2011-12-07Bibliographically 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

isbn
urn-nbn

Altmetric score

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