Gradual Security Types and Gradual Guarantees

Gradual Security Types and Gradual Guarantees
复制标题

渐进式保障类型和渐进式保障

DOI:
10.1109/csf51468.2021.00015
复制
发表时间:
2021
期刊:
2021 IEEE 34th Computer Security Foundations Symposium (CSF
影响因子:
--
通讯作者:
Jia, Limin
Jia, Limin
中科院分区:
--
文献类型:
--
作者:
Bichhawat, Abhishek;McCall, McKenna;Jia, Limin

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1145/1111037.1111045
发表时间: 2006-01
期刊: --
影响因子: --
作者:
Sebastian Hunt;David Sands
通讯作者: Sebastian Hunt;David Sands
带参考的渐进安全打字
DOI: --
发表时间: 2013
期刊: IEEE Computer Security Foundations Symposium
影响因子: --
作者:
L. Fennell;Peter Thiemann
通讯作者: Peter Thiemann
抽象渐进式打字
DOI: --
发表时间: 2016
期刊: ACM-SIGACT Symposium on Principles of Programming Languages
影响因子: --
作者:
Ronald Garcia;Alison M. Clark;É. Tanter
通讯作者: É. Tanter
DOI: 10.1007/11547662_24
发表时间: 2005-09
期刊: --
影响因子: --
作者:
Tachio Terauchi;A. Aiken
通讯作者: Tachio Terauchi;A. Aiken
渐进式信息流打字
DOI: --
发表时间: 2011
期刊:
影响因子: --
作者:
Tim Disney;C. Flanagan
通讯作者: C. Flanagan