模型检测在完整性形式化验证中的应用研究

• 作者: 严亚伟 周雁舟 惠文涛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 完整性 形式化 概率分析 概率计算树逻辑 模型测试
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 理论与研发
• 页码范围: 59-63,134
• 页数: 6页
• 分类号: TP311
• 字数: 4486字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1507-0081

摘要

对于信息系统而言,数据信息的安全性是十分重要的,数据的完整性是数据安全最重要的表现形式.为了确保系统中数据信息的安全性,提高系统可靠性,需要对数据的完整性进行分析和验证.针对数据完整性的定量评估问题,提出使用概率计算树逻辑对完整性定义进行形式化描述,并建立相应的马尔可夫决策过程定量评估模型,运用概率模型检测算法对完整性进行的评估,实现对完整性的定量验证.通过把提出的评估模型应用于交互式电子手册系统,定量计算出了该系统模型的完整性,为系统开发中的完整性需求提供支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周雁舟		16	79	5.0	8.0
2	惠文涛		3	7	2.0	2.0
3	严亚伟		3	4	1.0	2.0