Result: A sound dependency analysis for secure information flow (extended version)

Title:
A sound dependency analysis for secure information flow (extended version)
Authors:
Dorina Ghindici, Isabelle Simplot-ryl, Jean-marc Talbot, Thème Com, Thème Com Systèmes Communicants
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://hal.inria.fr/docs/00/18/54/76/PDF/RT-0347.pdf.
Collection:
CiteSeerX
Subject Terms:
Key-words, Information flow, static analysis, Java bytecode, abstract interpretation
Document Type:
Academic journal text
File Description:
application/pdf
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.4049
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.4049
http://hal.inria.fr/docs/00/18/54/76/PDF/RT-0347.pdf
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.E82C1445
Database:
BASE

Further Information

apport technique ISSN 0249-0803 ISRN INRIA/RT--0347--FR+ENGA sound dependency analysis for secure information flow (extended version)