[发明专利]一种安全目标的分解与建模方法及相关设备有效
| 申请号： | 201711384203.5 | 申请日： | 2017-12-20 |
| 公开（公告）号： | CN109947403B | 公开（公告）日： | 2021-10-15 |
| 发明（设计）人： | 谢淼;张良和;邓义晖;徐洋 | 申请（专利权）人： | 华为技术有限公司 |
| 主分类号： | G06F8/20 | 分类号： | G06F8/20 |
| 代理公司： | 深圳市深佳知识产权代理事务所(普通合伙) 44285 | 代理人： | 王仲凯 |
| 地址： | 518129 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请公开了一种安全目标分解与建模方法及相关设备，用于提高安全目标进行分解的准确性，提升安全目标形式化验证的可靠性。本申请方法包括：根据安全策略的统一建模语言时序图和状态图中的至少一个，获取所述安全策略的N类实体信息，所述N为不小于2的正整数，所述实体信息为所述安全策略的各进程及进程间的信道、数据和活动流程中的至少一项；根据安全属性描述库中的可验证属性类型确定所述N类实体信息中每一类实体信息的可验证属性；根据数学逻辑公式模板和每一类实体信息生成每一类实体信息的数学逻辑公式，所述数学逻辑公式模板与所述每一类实体信息的可验证属性对应。 | ||
| 搜索关键词： | 一种 安全 目标 分解 建模 方法 相关 设备 | ||
【主权项】：
1.一种安全目标分解与建模方法，其特征在于，包括：根据安全策略的统一建模语言时序图和状态图中的至少一个，获取所述安全策略的N类实体信息，所述N为不小于2的正整数，所述实体信息为所述安全策略的各进程及进程间的信道、数据和活动流程中的至少一项；根据安全属性描述库中的可验证属性类型确定所述N类实体信息中每一类实体信息的可验证属性；根据数学逻辑公式模板和每一类实体信息生成每一类实体信息的数学逻辑公式，所述数学逻辑公式模板与所述每一类实体信息的可验证属性对应。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华为技术有限公司，未经华为技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711384203.5/，转载请声明来源钻瓜专利网。
- 上一篇：一种项目开发系统
- 下一篇：一种基于多媒体网络教学产品下的小学生练字系统
