Embedding Verifiable Information Flow Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Embedding Verifiable Information Flow Analysis


Pervasive computing is the next generation of comput- ing environments. As a result more and more applications are dynamically deployed on a growing set of small safe devices. Applications delivered by different vendors may share code and data while they may not trust one another. We present an information flow analysis for full Java byte- code adapted for applications dedicated to embedded sys- tems. Existing techniques are not well adapted to this do- main and are often too complex. To ease embedded oper- ations and reduce overhead, an external static analysis is performed initially, and the results are embedded as anno- tations within the code and certified at loading time. In con- trast with other analysis techniques, our model supports dy- namic class loading. We evaluated our model on a business case study involving an electronic wallet for air miles stor- age and management from the literature. We obtained the same results as the other papers but under more restrictive conditions related to inherent characteristics of embedded environments.
No file

Dates and versions

inria-00544957 , version 1 (09-12-2010)


  • HAL Id : inria-00544957 , version 1


Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis. Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352. ⟨inria-00544957⟩
87 View
0 Download


Gmail Facebook Twitter LinkedIn More