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

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

Abstract

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.

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

CLC Number:

TP393.08

Xiaoyan LIANG, Ruizhong DU. Semantic representation and interval roughness analysis of IoT CapBAC rules[J]. Journal on Communications, 2021, 42(9): 43-53.

Figures/Tables 6

References 24

[1]	Ericsson. Erisson mobility report[R]. 2021.
[2]	周悦芝, 张迪 . 近端云计算:后云计算时代的机遇与挑战[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.
[3]	邱宇, 王持, 齐开悦 ,等. 智慧健康研究综述:从云端到边缘的系统[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.
[4]	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.
[5]	杜瑞忠, 刘妍, 田俊峰 . 物联网中基于智能合约的访问控制方法[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.
[6]	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.
[7]	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.
[8]	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.
[9]	张玉清, 周威, 彭安妮 . 物联网安全综述[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.
[10]	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.
[11]	W3C. Time ontology in OWL[R]. 2020.
[12]	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.
[13]	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.
[14]	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.
[15]	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.
[16]	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.
[17]	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.
[18]	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.
[19]	ERMOLAYEV V , BATSAKIS S , KEVERLE N . Ontologies of time:review and trends[J]. International Journal of Computer Science ＆Applications, 2014,11(3): 57-115.
[20]	SIKOS L F . OWL ontologies in cybersecurity:conceptual modeling of cyber-knowledge[M]. Berlin: Springer, 2019.
[21]	BAUMANN R , LOEBE F , HERRE H . Axiomatic theories of the ontology of time in GFO[J]. Applied Ontology, 2014,9(3): 171-215.
[22]	ELMALLAH E S , GOUDA M G . Hardness of firewall analysis[J]. IEEE Transactions on Dependable and Secure Computing, 2017,14(3): 339-349.
[23]	ZAMANIAN M , HEYDARI P . Readability of texts:state of the art[J]. Theory and Practice in Language Studies, 2012,2(1): 43-53.
[24]	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.

Metrics

Recommended 0

No Suggested Reading articles found!

规则规模/条			响应时间/s
	无不一致规则			存在3%不一致规则
	IoTRA	IoTC²		IoTRA	IoTC²
500	0.5	16.2		0.556	23.6
1 000	0.63	36.71		0.815	80.7
1 500	0.7	59.79		1.037	161.23
2 000	0.87	88.9		1.37	280.19
2 500	0.93	122.62		1.562	444.08
3 000	1.18	158.95		1.987	651.88

Semantic representation and interval roughness analysis of IoT CapBAC rules

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 6

References 24

Related Articles 15

Metrics

Recommended 0

[1]	Jian SHU, Jiawei SHI, Linlan LIU, Al-Kali Manar. Topology prediction for opportunistic network based on spatiotemporal convolution [J]. Journal on Communications, 2023, 44(3): 145-156.
[2]	Xiaoxi ZHANG, Yongjun XU. Survey on backscatter communication for zero-power IoT [J]. Journal on Communications, 2022, 43(11): 199-212.
[3]	Youheng DONG, Geng ZHAO, Yingjie MA. Two-dimensional pseudo-random coupled map lattices system based on partitioned elementary cellular automata and its dynamic properties [J]. Journal on Communications, 2022, 43(1): 71-82.
[4]	Yiyu YANG, Wei ZHOU, Shangru ZHAO, Cong LIU, Yuhui ZHANG, He WANG, Wenjie WANG, Yuqing ZHANG. Survey of IoT security research: threats, detection and defense [J]. Journal on Communications, 2021, 42(8): 188-205.
[5]	Huaqun WANG, Zhe LIU, Debiao HE, Jiguo LI. Identity-based provable data possession scheme for multi-source IoT terminal data in public cloud [J]. Journal on Communications, 2021, 42(7): 52-60.
[6]	Zhenyu ZHOU, Zehan JIA, Haijun LIAO, Xiongwen ZHAO, Lei ZHANG. Context-aware learning-based access control method for power IoT [J]. Journal on Communications, 2021, 42(3): 150-159.
[7]	Xiangmao CHANG, Jun ZHAN, Zhiwei WANG. Low-cost group-based identity security authentication protocol for NB-IoT nodes [J]. Journal on Communications, 2021, 42(12): 152-162.
[8]	Guolin SUN,Ruijie OU,Guisong LIU. Deep reinforcement learning-based resource reservation algorithm for emergency Internet-of-things slice [J]. Journal on Communications, 2020, 41(9): 8-20.
[9]	Yousheng ZHOU,Chang TAN,Fei TANG. Multi-dimensional secure query scheme for fog-enhanced IIoT [J]. Journal on Communications, 2020, 41(8): 175-186.
[10]	Hongqiang YAN,Linjie WANG. Research of authentication techniques for the Internet of things [J]. Journal on Communications, 2020, 41(7): 213-222.
[11]	Da ZHANG,Jinong WANG,Hu JI,Hao JI,Yunfeng ZHAO. Research and application of micropower safety monitoring IoT system for mine [J]. Journal on Communications, 2020, 41(2): 44-57.
[12]	Xinming LU,Changqing YAN,Zhaoping YUAN. Precisely positioning method for roadheaders and robotic roadheader system [J]. Journal on Communications, 2020, 41(2): 58-65.
[13]	Wei SUN,Peng ZHANG,Yongquan HE,Lichao XING. Attack detection method based on spatiotemporal event correlation in intranet environment [J]. Journal on Communications, 2020, 41(1): 33-41.
[14]	Hong TANG,Hongyan MOU,Haolan YANG. Time delay estimation algorithm of narrow band internet of things based on inter-cell interference cancellation [J]. Journal on Communications, 2019, 40(2): 92-101.
[15]	Yuzheng REN,Renchao XIE,Shiqin ZENG,Haoran ZHAO,Jiayi YU,Ru HUO,Tao HUANG,Yunjie LIU. Survey of identity resolution system in industrial Internet of things [J]. Journal on Communications, 2019, 40(11): 138-155.