Model Checking Programs with Access Control Based on Execution History
Model Checking Programs with Access Control Based on Execution History
复制标题
具有基于执行历史的访问控制的模型检查程序
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
et al.
中科院分区：
文献类型：
--
作者：
Jing Wang;et al.
登录
查看更多内容
基于历史的访问控制和信誉系统的逻辑框架
影响因子：
1.2
作者：
Krukow K
通讯作者：
Krukow K
HBAC：基于历史的访问控制模型及其模型检验
DOI：
--
发表时间：
2006
期刊：
Lecture Notes in Computer Science (11th European Symposium On Research In Computer Security) 4189
影响因子：
--
作者：
Jing Wang;Yoshiaki Takata and Hiroyuki Seki
通讯作者：
Yoshiaki Takata and Hiroyuki Seki
通过基于历史记录的访问控制增强 Java 安全性
DOI：
10.1007/978-3-540-74810-6_5
发表时间：
2007
期刊：
--
影响因子：
--
作者：
F. Martinelli;P. Mori
通讯作者：
P. Mori
基于历史记录的移动代码访问控制
DOI：
--
发表时间：
1998
期刊：
Conference on Computer and Communications Security
影响因子：
--
作者：
G. Edjlali;A. Acharya;V. Chaudhary
通讯作者：
V. Chaudhary
基于执行历史的访问控制形式化模型
DOI：
--
发表时间：
2005
期刊：
第4回クリティカル・ソフトウェアワークショップ予稿集
影响因子：
--
作者：
Hiroyuki Seki;et al.
通讯作者：
et al.