Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Noninterference proofs through flow analysis
File(s)
DTR02-14.pdf (303.02 KB)
Published version
Author(s)
Honda, Kohei
Yoshida, Nobuko
Type
Report
Date Issued
2002-01-01
Citation
Departmental Technical Report: 02/14, 2002, pp.1-12
URI
DOI
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/)
License URL
Publication Status
Published
Article Number
02/14