Certification of programs for secure information flow
- 期刊名称Communications of the ACM
- 作者Denning, Dorothy E.; Denning, Peter J.
- 卷第20卷
- 期第7期
- 印刷ISSN0001-0782
- 文件大小891.26KB
- 发表时间1977-7-1
- DOI10.1145/359636.359712
- 页码504-513
PrefaceChandrasekhar, V. · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2014
ForewordDesiraju, Gautam R. · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2014
Variations on Effect AlgebrasSingh, Akhilesh Kumar · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2015
Distributional Wavelet TransformPathak, R. S.; Singh, Abhishek · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2016
Golden-Hessian StructuresGezer, Aydin; Karaman, Cagri · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2016
Guest EditorialBhattacharyya, Kankan · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2015
PrefaceMittal, Jai Pal · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2016
Digital FibrationsEge, Ozgur; Karaca, Ismet · Proceedings of the National Academy of Sciences, India Section A: Physical Sciences · 2017