检索结果-内蒙古大学图书馆

作者：任正平黄松解放军理工大学指挥自动化学院软件测评中心

UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进行分析和正确性验证.为了消除UML模型中的歧义性并对系统特性... 详细信息

UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进行分析和正确性验证.为了消除UML模型中的歧义性并对系统特性进行分析,必须将UML模型转化为形式化描述.本文在给出UML2.0顺序图的语义基础上,提出了一种使用随机进程代数PEPA对顺序图进行形式化建模的方法,并通过一个实例说明了建模过程.

关键词：统一建模语言顺序图军事电子信息系统形式化建模代码实现随机进程

来源：评论

学校读者我要写书评

暂无评论

双控云存储集群平台的形式化建模

引用

电脑知识与技术 2018年第10期14卷 241-243页

作者：冯向科邓莹湖南铁道职业技术学院湖南株洲412001

针对云存储平台单一控制节点带来的难以处理大并发访问问题和频繁更新存储内容带来的存取效率低下问题,分析了分布式文件系统和块存储各自的优缺点,提出了＂虚拟节点à物理节点à区域＂的集群存储映射关系,多个虚拟节点映射一... 详细信息

针对云存储平台单一控制节点带来的难以处理大并发访问问题和频繁更新存储内容带来的存取效率低下问题,分析了分布式文件系统和块存储各自的优缺点,提出了＂虚拟节点à物理节点à区域＂的集群存储映射关系,多个虚拟节点映射一个物理节点,减少写入对象时块数据在物理节点间的频繁大幅迁移,建立了双控制节点的双控云存储集群平台,将待存储对象切割并按集群存储映射关系分批分块存储,按重复数进行块的复制存储。针对自然语言和程序设计语言描述云存储平台面临的歧义性和抽象程度不够的问题,提出了采用Z语言描述云存储平台,从组件定义、关系定义和模式描述等方面规范描述云存储平台的整体架构和核心操作,使用UML时序图分步骤描述了双控云存储集群平台如何协作完成读写对象的核心操作。

关键词：云存储云存储体系结构双控形式化建模

来源：评论

学校读者我要写书评

暂无评论

基于多协议扩展边界网关协议BGP4+的形式化建模研究

引用

计算机系统应用 2006年第12期15卷 54-58页

作者：江魁黄云森龚巧华深圳大学现代教育技术与信息中心深圳518060

协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模。

关键词： BGP4+ 形式化建模有限状态机 SDL

来源：评论

学校读者我要写书评

暂无评论

面向认知网络的形式化建模与分析方法初探

面向认知网络的形式化建模与分析方法初探

引用

中国教育和科研计算机网CERNET第十七届学术年会

作者：王健赵国生刘海龙哈尔滨理工大学计算机科学与技术学院黑龙江哈尔滨150001 哈尔滨师范大学网络中心黑龙江哈尔滨150080

提出一种基于随机进程代数的认知网络形式化建模与分析方法，首先介绍PEPA的基本概念，然后结合认知问题本质，对网络系统行为进行精简和抽象处理，用PEPA语言从系统宏观运行状态和系统业务及内部结构2个角度分别讨论构建认知网络的形... 详细信息

提出一种基于随机进程代数的认知网络形式化建模与分析方法，首先介绍PEPA的基本概念，然后结合认知问题本质，对网络系统行为进行精简和抽象处理，用PEPA语言从系统宏观运行状态和系统业务及内部结构2个角度分别讨论构建认知网络的形式化模型，并探索模型的量化分析方法。该方法以逻辑精确性为特色，能够应用于系统实现的任何阶段，为认知网络的设计提供理论指导。

关键词：认知网络性能评估进程代数形式化建模量化分析

来源：评论

学校读者我要写书评

暂无评论

针对安全协议的形式化建模及验证方法

针对安全协议的形式化建模及验证方法

引用

作者：李晓红沈岗胡静韩卓兵谢肖飞张程伟 300072 天津市南开区南开区卫津路92号

本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模... 详细信息

标准号: CN103259788A

本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验证方法，包括如下步骤：1、对安全协议进行总结和分析，使用Pi演算对这些信息进行描述，获得安全协议的形式化模型；2、使用Proverif工具进行自动化验证，对验证的结果进行细化分块，并将发现的攻击路径进行图形化；3、将细化分块后的验证结果和图形化的攻击路径整合，最终得到一份完整的协议验证结果报表。本发明主要应用于信息交换安全场合。

关键词：安全协议信息交换验证图形化分块安全技术领域形式化建模形式化模型安全场合安全属性结果报表路径整合协议建模协议验证验证方法验证结果攻击发现修复协议分析

来源：评论

学校读者我要写书评

暂无评论

一种多复用智能卡形式化建模与验证方法

一种多复用智能卡形式化建模与验证方法

引用

作者：郭建章玥朱晓冉胡永涛姚静晶 200062 上海市普陀区中山北路3663号

本发明公开了一种多复用智能卡形式化建模与验证方法，重写待复用的多个应用系统的规范文件；根据重写的规范文件制定多复用智能卡的系统模型的精化策略；根据精化策略建立抽象模型；验证抽象模型是否满足精化策略规定的要求，若不满足... 详细信息

标准号: CN103559238A

本发明公开了一种多复用智能卡形式化建模与验证方法，重写待复用的多个应用系统的规范文件；根据重写的规范文件制定多复用智能卡的系统模型的精化策略；根据精化策略建立抽象模型；验证抽象模型是否满足精化策略规定的要求，若不满足则对抽象模型进行修正直至抽象模型满足要求；在抽象模型上建立一层精化模型；验证精化模型是否满足精化策略规定的规范，若不满足则对精化模型进行修正直至精化模型满足要求；重复执行步骤五至步骤六，在前一层精化模型上再建立一层精化模型并验证，直至建立与验证所有精化模型为止，得到多复用智能卡的系统模型。本发明应用到嵌入式系统的形式化验证中，以提高嵌入式系统基础软件的安全性、可靠性。

关键词：精化抽象模型复用验证智能卡嵌入式系统策略规定系统模型重写修正形式化建模基础软件文件制定验证方法应用系统

来源：评论

学校读者我要写书评

暂无评论

基于安全协议代码的形式化辅助建模研究

引用

计算机应用研究 2023年第4期40卷 1189-1193,1202页

作者：葛艺黄文超熊焰中国科学技术大学计算机科学与技术学院合肥230000

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方... 详细信息

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。

关键词：形式化验证形式化建模协议代码污点分析 Tamarin

来源：评论

学校读者我要写书评

暂无评论

基于形式化建模的软件安全需求获取方法

基于形式化建模的软件安全需求获取方法

引用

作者：李晓红李洪波吴晓菲孙达志张蕾 300072 天津市南开区卫津路92号

本发明公开了一种基于形式化建模的软件安全需求获取方法，包括功能需求获取、安全环境分析、安全目的分析、安全要求导出以及最终生成系统安全需求文档，该文档至少包含系统资产、行为序列、缺陷、威胁、安全策略、安全假设、安全目的... 详细信息

标准号: CN104881606A

本发明公开了一种基于形式化建模的软件安全需求获取方法，包括功能需求获取、安全环境分析、安全目的分析、安全要求导出以及最终生成系统安全需求文档，该文档至少包含系统资产、行为序列、缺陷、威胁、安全策略、安全假设、安全目的、安全需求等级、安全保证等级、安全功能组件和安全保证组件的信息。与现有技术相比，实现了软件安全需求的自动获取，同时大大提高了安全需求获取的精确度；解决了自然语言描述的安全知识库存在模糊性和二义性，以及不能交由计算机处理的问题，为软件安全需求的自动导出奠定了基础；是典型的软件安全需求获取方法，适用于不同类型的软件系统，具有较强的普适性。

关键词：软件安全安全保证安全目的安全需求自然语言安全知识库计算机处理形式化建模安全策略安全功能安全环境安全假设功能需求软件系统系统安全系统资产行为序列需求文档自动获取二义性模糊性文档分析威胁

来源：评论

学校读者我要写书评

暂无评论

针对安全协议的形式化建模及验证方法

针对安全协议的形式化建模及验证方法

引用

作者：李晓红沈岗胡静韩卓兵谢肖飞张程伟 300072 天津市南开区卫津路92号

标准号: CN103259788B

关键词：安全协议信息交换安全攻击路径验证图形化分块细化进行形式化建模形式化模型安全属性结果报表协议验证验证方法验证结果建模整合协议自动化发现描述修复完整满足应用涉及总结分析

来源：评论

学校读者我要写书评

暂无评论

一种形式化建模的优化方法

一种形式化建模的优化方法

引用

作者：刘海亮屈华敏杨东红阎振鑫 710065 陕西省西安市雁塔区电子一路92号

本发明涉及一种形式化建模的优化方法。在对时间要求苛刻的飞行控制关键实时系统中，单一使用形式化建模设计方法，会导致建模过程中生成部分中间冗余代码带来的时间开销，不能满足强实时任务系统的要求。本发明采取的方案为，通过引入... 详细信息

标准号: CN105095065A

本发明涉及一种形式化建模的优化方法。在对时间要求苛刻的飞行控制关键实时系统中，单一使用形式化建模设计方法，会导致建模过程中生成部分中间冗余代码带来的时间开销，不能满足强实时任务系统的要求。本发明采取的方案为，通过引入形式化建模工具与通用库的桥接技术方法，前期通过形式化建模方法完成系统的架构设计，并对系统内的各模块时间开销等性能进行计算分析，对于时间开销较大或性能不优的模块，利用自适应适配层桥接现有通用库，实现形式化建模方法与通用库的协同工作，对形式化建模进行了性能优化。

关键词：形式化建模时间开销通用库单一使用飞行控制计算分析架构设计桥接技术任务系统冗余代码设计方法生成部分时间要求实时系统完成系统协同工作性能优化优化方法适配层系统内自适应建模桥接一种前期引入中间进行满足导致涉及

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：