Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
, Lecture Notes In Computer Science, ISSN 0302-9743 ; 4846
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-50676ISI: 000252104600003ISBN: 978-3-540-76927-9OAI: diva2:462387
12th Asian Computing Science Conference Location: Doha, QATAR Date: DEC 09-11, 2007
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
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: 11 hits
ReferencesLink to record
Permanent link

Direct link