安全协议可视化建模和验证方法的分析与设计

付杰; 闫振林; 张玉民; 息明东; 李升

首页> 中文期刊> 《佳木斯大学学报：自然科学版》 >安全协议可视化建模和验证方法的分析与设计

安全协议可视化建模和验证方法的分析与设计

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

统一建模语言(UML)是用于软件分析与设计的可视化建模语言,由于其缺乏精确的语义描述,因而进一步分析和验证比较困难.而形式化分析方法具有精确的数学语义和自动化验证工具的支持,可以对软件规范进行严格的分析和验证.本文提出了一种将安全协议的可视化模型转换成PROMELA规范的方法,使用SPIN工具对安全协议UML可视化模型进行了分析验证.

著录项

来源
《佳木斯大学学报：自然科学版》 |2013年第5期|737-739|共4页
作者
付杰; 闫振林; 张玉民; 息明东; 李升;
展开▼
作者单位

佳木斯大学现代教育技术中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类管理程序、管理系统;
关键词
安全协议; 形式化分析; 模型检测; 可视化模型; SPIN;

相似文献

中文文献
外文文献
专利

1. 一种基于Isabelle/HOL的安全通信协议验证方法 [J] . 夏锐 ,钱振江 ,刘苇 . 计算机工程 . 2021,第001期
2. 一种安全协议的形式化验证方法 [J] . 蒋欢 ,何青 . 电子世界 . 2019,第002期
3. 智能化电视网络安全协议的验证方法综述 [J] . 张兴 ,韩冬 ,马晓光 . 电视技术 . 2015,第023期
4. 一种基于SPIN的安全协议形式化验证方法 [J] . 刘虹 . 电子技术与软件工程 . 2013,第016期
5. 一种基于Petri网的安全协议验证方法 [J] . 顾明甲 ,张伟 ,周青 . 微计算机信息 . 2010,第015期
6. 安全协议形式化分析的新进展:基于逻辑程序的验证方法 [C] . 林瀚 ,徐艳艳 ,苏开乐 . 2004年全国理论计算机科学学术年会 . 2004
7. 安全协议可视化建模和验证方法的分析与设计 [A] . 付杰 . 2009

安全协议可视化建模和验证方法的分析与设计

摘要

著录项

相似文献

相关主题

期刊订阅