| 位置约束的访问控制模型及验证方法 |
| 曹彦;黄志球;阚双龙;彭焕峰;柯昌博; |
| 关键词:位置约束访问控制系统;模型检测;偶图;反应规则;验证 |
| 主要内容:随着物联网和信息物理融合系统等新一代信息技术的发展,位置约束的访问控制系统的安全性需求不仅体现在虚拟的信息空间,还体现在现实的物理空间.如何在这种新需求下制定位置约束的访问控制模型与验证方法成为保证访问控制系统安全的关键所在.首先提出位置约 |
| 《计算机研究与发展》 2018,55(08):1809-1825 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |