通信学报 ›› 2021, Vol. 42 ›› Issue (9): 43-53.doi: 10.11959/j.issn.1000-436x.2021075

• 学术论文 • 上一篇    下一篇

IoT下CapBAC规则语义表示及其时间间隔粗糙性分析

梁晓艳1,2, 杜瑞忠1,2   

  1. 1 河北大学网络空间安全与计算机学院,河北 保定 071002
    2 河北省高可信信息系统重点实验室,河北 保定 071002
  • 修回日期:2021-03-23 出版日期:2021-09-25 发布日期:2021-09-01
  • 作者简介:梁晓艳(1981− ),女,河北衡水人,博士,河北大学讲师,主要研究方向为网络信息安全、网络防御规则语义分析等
    杜瑞忠(1975− ),男,河北献县人,博士,河北大学教授、博士生导师,主要研究方向为可信计算、信息安全等
  • 基金资助:
    国家自然科学基金资助项目(61572170);河北省自然科学基金重点资助项目(F2019201290);河北省自然科学基金资助项目(F2018201153);河北省自然科学基金资助项目(F2018201197)

Semantic representation and interval roughness analysis of IoT CapBAC rules

Xiaoyan LIANG1,2, Ruizhong DU1,2   

  1. 1 School of Cyber Security and Computer, Hebei University, Baoding 071002, China
    2 Key Lab on High Trusted Information System of Hebei Province, Baoding 071002, China
  • Revised:2021-03-23 Online:2021-09-25 Published:2021-09-01
  • Supported by:
    The National Natural Science Foundation of China(61572170);The Key Project of Natural Science Foundation of Hebei Province(F2019201290);The Natural Science Foundation of Hebei Province(F2018201153);The Natural Science Foundation of Hebei Province(F2018201197)

摘要:

为突破IoT CapBAC规则时间间隔粗糙性分析瓶颈,提出了规则语义表示模型IoTACS以及粗糙性分析算法IoTRA。在IoTACS中,提出IoT CapBAC规则领域的概念结构、基本概念的定量数据属性表示以及规则语义树模型;扩展Time本体的时间关系,给出其定量逻辑表示。作为IoTRA算法的理论基础,证明了粗糙性是造成不一致的根本原因,给出其逻辑表示。案例研究表明,IoTRA 算法有助于提升授权时间的准确性,IoTACS 模型比形式化语义模型具有更高的可读性;仿真实验表明,与IoTC2算法相比,IoTRA算法响应时间显著减少。

关键词: 物联网, 基于权能的访问控制, 规则语义, 粗糙性, 语义网

Abstract:

To break the bottleneck of interval roughness analysis, a rule semantic model IoTACS was proposed, and IoTRA algorithm was given.In IoTACS, a conceptual structure of the IoT CapBAC rule domain was proposed, the quantitative data properties of the basic concepts were given, then the semantic tree model of rule semantics was proposed, the time relations of the time ontology were extended and its quantitative logical representation was given.As the theoretical basis, it was proved that the root cause of interval inconsistency was roughness, and its logical formalization of the roughness was given.The case study shows that IoTRA can help to improve the accuracy of the authorized interval, and the IoTACS model have higher readability than the formal model.The comparison experiments with the IoTC2 algorithm on the inconsistency analysis show that the response time of the IoTRA algorithm is more significantly reduced.

Key words: IoT, CapBAC, rule semantics, roughness, semantic Web

中图分类号: 

No Suggested Reading articles found!