计算机工程与科学2015，Vol.37Issue(3)：517-523,7.DOI:10.3969/j.issn.1007-130X.2015.03.018
基于流演算理论的动态访问控制模型研究
A dynamical access control model based on fluent calculus theory
摘要
关键词
访问控制/动态访问控制模型/流演算Key words
access control/dynamical access control model/fluent calculus分类
信息技术与安全科学引用本文复制引用
杨爱琴,程显毅..基于流演算理论的动态访问控制模型研究[J].计算机工程与科学,2015,37(3):517-523,7.基金项目
江苏省自然科学基金资助项目(BK2010280) （BK2010280）
南通大学自然科学基金资助项目(03041163) （03041163）
