Knowledge-Based Security of Dynamic Secrets for Reactive Programs
Knowledge-Based Security of Dynamic Secrets for Reactive Programs
复制标题
反应式程序动态秘密的基于知识的安全性
DOI：
10.1109/csf.2018.00020
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Jia, Limin
中科院分区：
文献类型：
--
作者：
McCall, McKenna;Zhang, Hengruo;Jia, Limin
登录
查看更多内容
Web 的多层函数响应式编程
DOI：
10.1145/2661136.2661140
发表时间：
2014
期刊：
Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software
影响因子：
--
作者：
Bob Reynders;Dominique Devriese;Frank Piessens
通讯作者：
Frank Piessens
反应式无干扰
DOI：
10.1145/1653662.1653673
发表时间：
2009
期刊：
ACM Transactions on Programming Languages and Systems (TOPLAS)
影响因子：
--
作者：
A. Bohannon;B. Pierce;Vilhelm Sjöberg;Stephanie Weirich;Steve Zdancewic
通讯作者：
Steve Zdancewic
DOI：
10.1145/2103656.2103677
发表时间：
2012-01
期刊：
--
影响因子：
--
作者：
Thomas H. Austin;C. Flanagan
通讯作者：
Thomas H. Austin;C. Flanagan
浏览器模型的反应式无干扰
DOI：
--
发表时间：
2011
期刊：
International Conference on Network and System Security
影响因子：
--
作者：
Nataliia Bielova;Dominique Devriese;F. Massacci;Frank Piessens
通讯作者：
Frank Piessens
DOI：
10.1109/csfw.2004.9
发表时间：
2004
期刊：
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004.
影响因子：
--
作者：
A. Myers;A. Sabelfeld;Steve Zdancewic
通讯作者：
Steve Zdancewic