First-Order Logic for Flow-Limited Authorization
First-Order Logic for Flow-Limited Authorization
复制标题
限流授权的一阶逻辑
DOI：
10.1109/csf49147.2020.00017
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Arden, Owen
中科院分区：
文献类型：
--
作者：
Hirsch, Andrew K.;Amorim, Pedro H.;Cecchetti, Ethan;Tate, Ross;Arden, Owen
登录
查看更多内容
攻击者对机密性和完整性的控制和影响
DOI：
--
发表时间：
2011
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Aslan Askarov;A. Myers
通讯作者：
A. Myers
DOI：
10.1145/2043556.2043580
发表时间：
2011
期刊：
Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
影响因子：
--
作者：
E. G. Sirer;W. D. Bruijn;Patrick Reynolds;Alan Shieh;Kevin Walsh;Dan Williams;F. Schneider
通讯作者：
F. Schneider
结构性切割消除
DOI：
--
发表时间：
1995
期刊：
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
F. Pfenning
通讯作者：
F. Pfenning
这是我的特权：控制 DC 标签的降级
DOI：
--
发表时间：
2015
期刊：
International Workshop on Security and Trust Management
影响因子：
--
作者：
Lucas Waye;Pablo Buiras;D. King;Stephen Chong;Alejandro Russo
通讯作者：
Alejandro Russo
DOI：
--
发表时间：
2006
期刊：
Journal of computing and security
影响因子：
--
作者：
A. Myers;A. Sabelfeld;Steve Zdancewic
通讯作者：
Steve Zdancewic