[发明专利]IoT CapBAC规则语义中时间间隔粗糙性分析方法有效
申请号: | 202110053398.5 | 申请日: | 2021-01-15 |
公开(公告)号: | CN112733532B | 公开(公告)日: | 2023-03-31 |
发明(设计)人: | 杜瑞忠;梁晓艳 | 申请(专利权)人: | 河北大学 |
主分类号: | G06F40/253 | 分类号: | G06F40/253;G06F40/30;G06F40/58 |
代理公司: | 石家庄国域专利商标事务所有限公司 13112 | 代理人: | 胡澎 |
地址: | 071002 *** | 国省代码: | 河北;13 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | iot capbac 规则 语义 时间 间隔 粗糙 分析 方法 | ||
1.一种IoT CapBAC规则语义中时间间隔粗糙性分析方法,其特征是,包括以下步骤:
a、建立IoT CapBAC规则的领域术语集;
b、语法制导的语义翻译:将IoT CapBAC规则的符号序列,按照翻译文法,将该符号序列翻译为语义;
c、时间关系推理,具体包括以下两个子步骤:
c-1、查询满足“直接后(after)”关系的日期时间对,将日期时间的“直接后关系”写入到OWL语义中;
c-2、基于先后关系,查询满足时间间隔包含关系、交叉关系的时间间隔,将其包含关系和交叉关系写入到OWL语义中;
d、时间间隔粗糙性分析:查询对于同样的主体、客体、操作,有时间间隔的包含关系、交叉关系的访问控制,如果时间间隔具有包含关系、交叉关系,则报告两个时间间隔是意图的时间间隔的粗糙表示;
步骤d的内部实现方式为:
查询满足对同样的访问a、有包含或者交叉的两个时间间隔x,y的两个访问控制A和A′,生成新的意图的时间间隔z,报告时间间隔x,y是它们意图的时间间隔z的粗糙表示;
其中,对同样的访问a、有包含或者交叉的两个时间间隔x,y的两个访问控制A和A′应满足的条件,用描述逻辑语法表示为公式(10)或公式(11)中的一个:
新生成的意图的时间间隔z和粗糙报告,如公式(12)描述如下:
z:Interval,z,x:isRoughSetOf,z,y:isRoughSetOf (12)。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于河北大学,未经河北大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202110053398.5/1.html,转载请声明来源钻瓜专利网。