Reactive non-interference for the browser: extended version
Research Area: | Uncategorized | Year: | 2011 |
---|---|---|---|
Type of Publication: | Technical Report | ||
Authors: |
|
||
Institution: | Department of Computer Science, K.U.Leuven | ||
Number: | CW602 | Type of Publication: | CW Reports |
Month: | February | ||
BibTex: |
|||
Note: | PARTNERS: UNITN,KUL PROJECTS: NESSOS; tier: NoTier; citations: 3 |
||
[Bibtex] |