Semantic representation and interval roughness analysis of IoT CapBAC rules

Xiaoyan LIANG; Ruizhong DU

doi:10.11959/j.issn.1000-436x.2021075

您当前的位置：

首页 >

文章列表页 >

Semantic representation and interval roughness analysis of IoT CapBAC rules

Papers | 更新时间：2024-06-05

- Semantic representation and interval roughness analysis of IoT CapBAC rules
- Journal on Communications Vol. 42, Issue 9, Pages: 43-53(2021)
- 作者机构：
  
  1. 河北大学网络空间安全与计算机学院，河北保定 071002
  2. 河北省高可信信息系统重点实验室，河北保定 071002
- 作者简介：
- 基金信息：
  
  The National Natural Science Foundation of China(61572170);The Key Projects of Natural Science Foundation of Hebei Province(F2019201290);The Natural Science Foundation of Hebei Province(F2018201153);The Natural Science Foundation of Hebei Province(F2018201197)
- DOI：10.11959/j.issn.1000-436x.2021075
  CLC： TP393.08
- Online First：2021-09，
  
  Published：25 September 2021
- 稿件说明：
移动端阅览
Xiaoyan LIANG, Ruizhong DU. Semantic representation and interval roughness analysis of IoT CapBAC rules[J]. Journal on Communications, 2021, 42(9): 43-53.
DOI：

Xiaoyan LIANG, Ruizhong DU. Semantic representation and interval roughness analysis of IoT CapBAC rules[J]. Journal on Communications, 2021, 42(9): 43-53. DOI： 10.11959/j.issn.1000-436x.2021075.

摘要

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

算法相比，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 IoTC

algorithm on the inconsistency analysis show that the response time of the IoTRA algorithm is more significantly reduced.

关键词

Keywords

references

Ericsson . Erisson mobility report [R ] . 2021 .

周悦芝 , 张迪 . 近端云计算:后云计算时代的机遇与挑战 [J ] . 计算机学报 , 2019 , 42 ( 4 ): 677 - 700 .

ZHOU Y Z , ZHANG D . Near-end cloud computing:opportunities and challenges in the post-cloud computing era [J ] . Chinese Journal of Computers , 2019 , 42 ( 4 ): 677 - 700 .

邱宇 , 王持 , 齐开悦 , 等 . 智慧健康研究综述:从云端到边缘的系统 [J ] . 计算机研究与发展 , 2020 , 57 ( 1 ): 53 - 73 .

QIU Y , WANG C , QI K Y , et al . A survey of smart health:system de-sign from the cloud to the edge [J ] . Journal of Computer Research and Development , 2020 , 57 ( 1 ): 53 - 73 .

THAKARE A , LEE E , KUMAR A , et al . PARBAC:priority-attribute-based RBAC model for azure IoT cloud [J ] . IEEE Internet of Things Journal , 2020 , 7 ( 4 ): 2890 - 2900 .

杜瑞忠 , 刘妍 , 田俊峰 . 物联网中基于智能合约的访问控制方法 [J ] . 计算机研究与发展 , 2019 , 56 ( 10 ): 2287 - 2298 .

DU R Z , LIU Y , TIAN J F . An access control method using smart con-tract for Internet of Things [J ] . Journal of Computer Research and De-velopment , 2019 , 56 ( 10 ): 2287 - 2298 .

NAKAMURA Y , ZHANG Y , SASABE M , et al . Exploiting smart contracts for capability-based access control in the Internet of Things [J ] . Sensors , 2020 , 20 ( 6 ): 1793 .

NAKAMURA Y , ZHANG Y , SASABE M , et al . Capability-based access control for the Internet of things:an Ethereum blockchain-based scheme [C ] // 2019 IEEE Global Communications Conference . Piscataway:IEEE Press , 2019 : 1 - 6 .

TAPAS N , LONGO F , MERLINO G , et al . Experimenting with smart contracts for access control and delegation in IoT [J ] . Future Generation Computer Systems , 2020 , 111 : 324 - 338 .

张玉清 , 周威 , 彭安妮 . 物联网安全综述 [J ] . 计算机研究与发展 , 2017 , 54 ( 10 ): 2130 - 2143 .

ZHANG Y Q , ZHOU W , PENG A N . Survey of Internet of things se-curity [J ] . Journal of Computer Research and Development , 2017 , 54 ( 10 ): 2130 - 2143 .

FAROOQ A , Al-SHARE E , MOYER T . IoTC 2: a formal method approach for detecting conflicts in large scale IoT systems [C ] // 2019 IFIP/IEEE Symposium on Integrated Network and Service Management . Piscataway:IEEE Press , 2019 : 442 - 447 .

W3C . Time ontology in OWL [R ] . 2020 .

GUSMEROLI S , PICCIONE S , ROTONDI D . IoT@Work automation middleware system design and architecture [C ] // Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies ＆Factory Automation . Piscataway:IEEE Press , 2012 : 1 - 8 .

NAKAMURA S , ENOKIDO T , TAKIZAWA M . Time-based legality of information flow in the capability-based access control model for the Internet of Things [J ] . Concurrency and Computation:Practice and Experience , 2020 :e5944.

NAKAMURA S , ENOKIDO T , TAKIZAWA M . Information flow control based on the CapBAC (capability-based access control) model in the IoT [J ] . International Journal of Mobile Computing and Multimedia Communications , 2019 , 10 ( 4 ): 13 - 25 .

VANNUCCHI C , DIAMANTI M , MAZZANTE G , et al . Symbolic verification of event-condition-action rules in intelligent environments [J ] . Journal of Reliable Intelligent Environments , 2017 , 3 ( 2 ): 117 - 130 .

SCHERP A , FRANZ T , SAATHOFF C . F——a model of events based on the foundational ontology dolce+DNS ultralight [C ] // Proceedings of the Fifth International Conference on Knowledge Capture . Piscataway:IEEE Press , 2009 : 137 - 144 .

RODRIGUES M , ROCHA SILVA R , BERNARDINO J . Linking open descriptions of social events (LODSE):a new ontology for social event classification [J ] . Information , 2018 , 9 ( 7 ): 164 .

LI F , DU J C , HE Y Q , et al . Time event ontology (TEO):to support semantic representation and reasoning of complex temporal relations of clinical events [J ] . Journal of the American Medical Informatics Association , 2020 , 27 ( 7 ): 1046 - 1056 .

ERMOLAYEV V , BATSAKIS S , KEVERLE N . Ontologies of time:review and trends [J ] . International Journal of Computer Science ＆Applications , 2014 , 11 ( 3 ): 57 - 115 .

SIKOS L F . OWL ontologies in cybersecurity:conceptual modeling of cyber-knowledge [M ] . Berlin : Springer , 2019 .

BAUMANN R , LOEBE F , HERRE H . Axiomatic theories of the ontology of time in GFO [J ] . Applied Ontology , 2014 , 9 ( 3 ): 171 - 215 .

ELMALLAH E S , GOUDA M G . Hardness of firewall analysis [J ] . IEEE Transactions on Dependable and Secure Computing , 2017 , 14 ( 3 ): 339 - 349 .

ZAMANIAN M , HEYDARI P . Readability of texts:state of the art [J ] . Theory and Practice in Language Studies , 2012 , 2 ( 1 ): 43 - 53 .

VORONKOV A , IWAYA L H , MARTUCCI L A , et al . Systematic literature review on usability of firewall configuration [J ] . ACM Computing Surveys , 2018 , 50 ( 6 ): 1 - 35 .

Views

1527

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Verifiable secure image retrieval for cloud-assisted IoT environments

Research on distributed network intrusion detection system for IoT based on honeyfarm

Joint resource configuration method for secure fog computing Internet of things

Survey of IoT security research: threats, detection and defense

Identity-based provable data possession scheme for multi-source IoT terminal data in public cloud

Related Author

DUAN Zhenhua

TIAN Cong

WANG Wensheng

MA Zhi

GUO Jiaqi

Hao WU

Jiajia HAO

Yunlong LU

Related Institution

School of Computer Science and Technology, Xidian University

State Key Laboratory of Advanced Rail Autonomous Operation

School of Electronic and Information Engineering, Beijing Jiaotong University

College of Intelligent Systems Science and Engineering, Harbin Engineering University

College of Information and Communication Engineering, Harbin Engineering University

AI问答

⁰