Compositional Information Flow Monitoring for Reactive Programs
Compositional Information Flow Monitoring for Reactive Programs
复制标题
反应式程序的组合信息流监控
DOI：
10.1109/eurosp53844.2022.00036
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Jia, Limin
中科院分区：
文献类型：
--
作者：
McCall, McKenna;Bichhawat, Abhishek;Jia, Limin
登录
查看更多内容
论安全系统的构成
DOI：
10.1109/secpri.2002.1004364
发表时间：
2002
期刊：
Proceedings 2002 IEEE Symposium on Security and Privacy
影响因子：
--
作者：
H. Mantel
通讯作者：
H. Mantel
COVERN：信息流控制的组合验证逻辑
DOI：
10.1109/eurosp.2018.00010
发表时间：
2018
期刊：
2018 IEEE European Symposium on Security and Privacy (EuroS&P)
影响因子：
--
作者：
Toby C. Murray;Robert Sison;Kai Engelhardt
通讯作者：
Kai Engelhardt
影响因子：
--
作者：
Minh Ngo;F. Massacci;Dimiter Milushev;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/2465106.2465121
发表时间：
2013
期刊：
ACM SIGOPS Oper. Syst. Rev.
影响因子：
--
作者：
Thomas H. Austin;Jean Yang;C. Flanagan;Armando Solar
通讯作者：
Armando Solar