EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


27665 Complexity and information flow analysis for multi-threaded programs
Home Policy Brochure Browse Search User Area Contact Help

Ngo, Minh Tri and Huisman, M. (2017) Complexity and information flow analysis for multi-threaded programs. The European Physical Journal Special Topics, online pre-publication. pp. 1-18. ISSN 1951-6355 *** ISI Impact 1,417 ***

Full text available as:

PDF

312 Kb

Official URL: http://dx.doi.org/10.1140/epjst/e2016-60402-0

Abstract

This paper studies the security of multi-threaded programs. We combine two methods, i.e., qualitative and quantitative security analysis, to check whether a multi-threaded program is secure or not. In this paper, besides reviewing classical analysis models, we present a novel model of quantitative analysis where the attacker is able to select the scheduling policy. This model does not follow the traditional information-theoretic channel setting. Our analysis first studies what extra information an attacker can get if he knows the scheduler’s choices, and then integrates this information into the transition system modeling the program execution. Via a case study, we compare this approach with the traditional information-theoretic models, and show that this approach gives more intuitive-matching results.

Item Type:Article
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
Research Project:SlaLoM: Security by Logic for Multithreaded applications
ID Code:27665
Status:Published
Deposited On:30 March 2017
Refereed:Yes
International:Yes
ISI Impact Factor:1,417
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item