A Formal Model for Access Control Based on Execution History
A Formal Model for Access Control Based on Execution History
复制标题
基于执行历史的访问控制形式化模型
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
et al.
中科院分区：
文献类型：
--
作者：
Hiroyuki Seki;et al.
登录
查看更多内容
DOI：
10.1145/1111037.1111046
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Torben Amtoft;Sruthi Bandhakavi;A. Banerjee
通讯作者：
Torben Amtoft;Sruthi Bandhakavi;A. Banerjee
了解 Java 堆栈检查
DOI：
10.1109/secpri.1998.674823
发表时间：
1998
期刊：
Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186)
影响因子：
--
作者：
D. Wallach;E. Felten
通讯作者：
E. Felten
访问流：一种集成访问控制和信息流的保护模型
DOI：
10.1109/sp.1981.10004
发表时间：
1981
期刊：
1981 IEEE Symposium on Security and Privacy
影响因子：
--
作者：
Alley Stoughton
通讯作者：
Alley Stoughton
基于自动机的机密性监控
DOI：
10.1007/978-3-540-77505-8_7
发表时间：
2006
期刊：
ArXiv
影响因子：
--
作者：
Gurvan Le Guernic;A. Banerjee;T. Jensen;David A. Schmidt
通讯作者：
David A. Schmidt
堆栈检查的静态分析
DOI：
10.1016/s1571-0661(04)00236-1
发表时间：
2001
期刊：
2006 IEEE Symposium on Security and Privacy (S&P'06)
影响因子：
--
作者：
Massimo Bartoletti;P. Degano;G. Ferrari
通讯作者：
G. Ferrari