Information Flow Analysis Using Model Checking for Programs with History-based Access Control
Information Flow Analysis Using Model Checking for Programs with History-based Access Control
复制标题
使用模型检查对具有基于历史的访问控制的程序进行信息流分析
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Seki
中科院分区：
文献类型：
--
作者：
Jing;Wang;Nobuhiro;Ito;Yoshiaki;Takata;Hiroyuki;Seki
使用类 Java 语言中的安全信息流的访问控制
DOI：
10.1109/csfw.2003.1212711
发表时间：
2003
期刊：
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.
影响因子：
--
作者：
A. Banerjee;D. Naumann
通讯作者：
D. Naumann
面向对象语言的模块化和基于约束的信息流推理
DOI：
10.1007/978-3-540-27864-1_9
发表时间：
2004
期刊：
Sensors Applications Symposium
影响因子：
--
作者：
Qi Sun;A. Banerjee;D. Naumann
通讯作者：
D. Naumann
使用类 java 语言实现安全信息流和指针约束
DOI：
--
发表时间：
2002
期刊：
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
影响因子：
--
作者：
A. Banerjee;D. Naumann
通讯作者：
D. Naumann