声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-1777/TP
国际刊号：1000-1239
发布日期:
作者：曹彦,黄志球,阚双龙,彭焕峰,柯昌博,
关键词：位置约束访问控制系统, 模型检测, 偶图, 反应规则, 验证,
随着物联网和信息物理融合系统等新一代信息技术的发展，位置约束的访问控制系统的安全性需求不仅体现在虚拟的信息空间，还体现在现实的物理空间.如何在这种新需求下制定位置约束的访问控制模型与验证方法成为保证访问控制系统安全的关键所在.首先提出位置约束访问控制模型，包括LCRBAC模型和EM模型，实现对信息空间和物理空间的静态结构以及两空间中实体动态行为的刻画；其次利用偶图和偶图反应系统建模位置约束访问控制模型，生成访问控制策略标注转移边的标号变迁系统；然后根据标号变迁系统验证结果，提出针对死锁状态、违反状态和不可达状态的策略修改方案；最后通过银行访问控制系统实例分析说明所提方法能够对信息空间和物理空间以及两空间交互行为的访问控制策略进行建模和验证.
来源：2018年第8期
《计算机研究与发展》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。