基于UML安全协议的建模和自动检测



基于UML安全协议的建模和自动检测

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

基于UML安全协议的建模和自动检测

论文目录
摘要	第1-4 页
Abstract	第4-7 页
第一章绪论	第7-10 页
·课题背景	第7-8 页
·本文的主要工作和目标	第8-9 页
·论文的结构	第9-10 页
第二章安全协议	第10-15 页
·安全协议的类别和性质	第10-12 页
·安全攻击	第12 页
·形式化方法	第12-15 页
第三章模型检测	第15-26 页
·模型检测简介	第15-16 页
·时态逻辑	第16-19 页
·CTL(计算树逻辑)	第16-18 页
·LTL(线性时态逻辑)	第18-19 页
·模型检测工具SPIN	第19-26 页
·SPIN工具	第19 页
·SPIN状态优化技术	第19-21 页
·PROMELA语言	第21-26 页
第四章统一建模语言UML	第26-37 页
·UML简介	第26-29 页
·UML的特性	第26-27 页
·UML基本概念	第27-29 页
·UML建模	第29-31 页
·建模的目的	第29 页
·UML的一般建模过程	第29-31 页
· UML类图	第31-32 页
·UML顺序图	第32-33 页
·XMI文件	第33-37 页
·XMI表示UML类图	第33-35 页
·XMI表示UML顺序图	第35-37 页
第五章安全协议建模	第37-48 页
·安全协议的静态模型	第37-45 页
·安全协议的一般表示形式	第37-38 页
·建立安全协议的数据模型	第38-40 页
·建立安全协议的类模型	第40-45 页
·安全协议的动态模型	第45-48 页
·从安全协议的一般描述到UML顺序图	第45 页
·实例分析	第45-48 页
第六章自动验证	第48-65 页
·自动验证过程	第48-49 页
·分析并提取基本信息集	第49-54 页
·分析并提取类的基本信息	第49-51 页
·分析并提取顺序图的信息集	第51-53 页
·合并类和顺序图的基本信息集	第53-54 页
·协议主体UML模型转化到PROMELA程序	第54-57 页
·协议主体的UML模型到PROMELA程序的映射	第54-55 页
·转化过程	第55-57 页
·攻击者模型的自动生成和转化	第57-65 页
·自动生成攻击者知识库	第58-62 页
·生成攻击者模型的PROMELAT程序	第62-65 页
第七章自动验证工具的设计与实现	第65-69 页
·体系结构	第65-66 页
·设计与实现	第66-69 页
第八章结束语	第69-70 页
·本文主要内容	第69 页
·下一步工作	第69-70 页
参考文献	第70-73 页
攻读硕士研究生生期间公开发表论文	第73-74 页
致谢	第74-75页

本篇论文共75页，点击这进入下载页面。

更多论文
基于UML安全协议的建模和自动检测
基于内容的自适应图像检索算法研究
大城市居住区空间发展模式研究
基于城市游憩思想的中心商务区（CB
度假区景观规划研究初探
广东省东源县旅游扶贫开发的潜力、
穗深港服务业结构的比较研究
广东省从化市土地利用变化及其驱动
万绿湖生态旅游市场研究
广州市观光农业发展研究
大珠江三角洲与长江三角洲可持续发
珠江三角洲地区旅游产业竞争力分析
均值-方差模型下证券投资选择的进一
中国东部地区外商直接投资空间分异
中国大陆地区优秀田径运动员的纬度
低强度可见光光生物调节作用的初步
持续最大随意运动期间脑电信号研究
光动力学疗法诱导细胞凋亡机制的初
端粒酶亚单位的siRNA对肝癌的作用
基于PDT的白血病细胞灭活及细胞活性
蛹虫草菌丝粉和培植子实体下脚料对
非洲菊（Gerbera Hybrida）再生和转
广东与湖南养殖鳜群体遗传多样性研
异育彭泽鲫性别控制和性腺发育及理
硒钴锰对南美白对虾不同生长阶段免
电化学发光方法检测转基因植物
海南岛西部沿海防护林防风固沙效益
黄瓜毛状根培养及其毛花洋地黄LAE基
2,4-D在柑橘果实中的残留及保鲜效果
利用DNA分子标记研究国内外香稻的香
复合鲫遗传特性的初步研究
茉莉酸甲酯对去胚水稻种子水解酶活
根癌农杆菌介导的P_SAG12
荔枝低温下超声波和臭氧水保鲜技术
旅游活动对生态旅游区土壤冲击影响
基于相控技术的光声快速成像一体化
番禺200kW磷酸燃料电池工作原理及运
紫外荧光SO₂分析仪关键
用于光声成像的二元声学声透镜的研
高精度消光式椭圆偏振测厚仪的研究
亚微米、纳米粒子的制备及其在聚合
氮杂、氧杂、硫杂四氢吖啶类衍生物
调控发光波长：设计合成8-羟基喹啉
基于多源空间数据的广州市生态环境
广州市城市生态系统健康评价研究
金钢石锯片激光焊接
新型乙酰胆碱酯酶复能剂的量子化学
硅氧烷改性接枝型水性环氧树脂的合
静态吸附法研究交联壳聚糖树脂对有
阴极电泳涂料基料树脂的合成与研究
电解—光催化降解有机染料及其协同
壳聚糖-海藻酸钠、壳聚糖-羧甲基纤
IB、ⅡB金属含硒簇（配）合物的合成
磷酸单酯反应性表面活性剂的合成及
Q态CdS及其聚合物杂化膜的制备与光
Cu（phen）₂～（2+）与
新型锰氧化物的制备及其电化学性能
单轴晶体中的光束传输和正负折射现
二苯基膦吡啶过渡金属配合物结构与
自动焊机中定位技术的研究
广东省海洋自然保护区可持续发展
矿物—水体系的界面性质及吸附机理

安全协议论文 SPIN论文模型检测论文 UML论文
版权申明：目录由用户pdh43**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved