Abstract | ||
---|---|---|
Information-flow analysis is one of the promising techniques to leverage the detection of software vulnerabilities and confidentiality breaches. However, in the context of multi-threaded applications running on multicore platforms, this analysis becomes highly challenging due to data races and inter-processor dependences. In this paper we first review some of the existing information-flow analysis techniques and we discuss their limits in this particular context. Then, we propose a dedicated runtime predictive approach. It consists in extending information-flow properties computed from a single parallel execution trace to a set of valid serialisations with respect to the execution platform. This approach can be applied for instance in runtime monitoring or security testing of multi-threaded applications. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-34026-0_27 | ISoLA (1) |
Keywords | Field | DocType |
runtime monitoring,dedicated runtime predictive approach,information-flow property,confidentiality breach,execution platform,multi-threaded application,dynamic information-flow analysis,information-flow analysis,single parallel execution trace,particular context,existing information-flow analysis technique | Information flow (information theory),Security testing,Confidentiality,Computer science,Multi threaded,Runtime verification,Software,Multi-core processor,Distributed computing | Conference |
Citations | PageRank | References |
1 | 0.35 | 28 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laurent Mounier | 1 | 1187 | 79.54 |
Emmanuel Sifakis | 2 | 13 | 1.64 |