2
IRUS TotalDownloads
Altmetric
Noninterference proofs through flow analysis
| File | Description | Size | Format | |
|---|---|---|---|---|
 DTR02-14.pdf | Published version | 303.02 kB | Adobe PDF | View/Open |
| Title: | Noninterference proofs through flow analysis |
| Authors: | Honda, K Yoshida, N |
| Item Type: | Report |
| Issue Date: | 1-Jan-2002 |
| URI: | http://hdl.handle.net/10044/1/95729 |
| DOI: | https://doi.org/10.25561/95729 |
| Publisher: | Department of Computing, Imperial College London |
| Start Page: | 1 |
| End Page: | 12 |
| Journal / Book Title: | Departmental Technical Report: 02/14 |
| Copyright Statement: | © 2002 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) |
| Publication Status: | Published |
| Article Number: | 02/14 |
| Appears in Collections: | Computing Computing Technical Reports |
This item is licensed under a Creative Commons License
