文档详情

一种适于带时间戳安全协议的形式化分析方法-计算机工程与应用.PDF

发布：2017-08-12约字共5页下载文档

文本预览下载声明

116 2012 ，48 （36） Computer Engineering and Applications 计算机工程与应用一种适于带时间戳安全协议的形式化分析方法 1 2 范玉涛，苏桂平 1 2 FAN Yutao , SU Guiping 1.华北科技学院计算机系，北京燕郊 101601 2.中国科学院研究生院信息科学与工程学院，北京 100049 1.Department of Computer Science, North China Institute of Scienc

显示全部

相似文档

火灾报警系统数据输出协议的形式化分析-计算机系统应用.PDF 计算机系统应用 2014 年第 23 卷第 11 期火灾报警系统数据输出协议的形式化分析① 李志刚 (公安部沈阳消防研究所, 沈阳 110034) 摘要: 火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性. 本文结合协议的应用环境和功能需求, 利用形式化分析方法对协议进行剖析, 给出协议的 Petri 网模型, 将标准中隐含的、影响兼容性的要求明确化, 探讨该协议的网络
2017-11-11 约1.71万字 6页立即下载
全国形式化方法与应用会议FMAC2016-计算机科学国家.PDF 第一届全国形式化方法与应用会议（FMAC 2016 ）主办：中国计算机学会承办：中国计算机学会形式化方法专业组中国科学院软件研究所 2016 年11 月12 日-13 日北京第一届全国形式化方法与应用会议（FMAC 2016 ）
2018-04-27 约1.95万字 14页立即下载
一种多项式时间的路径敏感的污点分析方法-计算机学报.PDF 第卷第期计算机学报３２９　　　　　　　　　Ｖｏｌ．３２Ｎｏ．９年月２００９９Ｓｅｔ．２００９ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯ
2018-04-04 约7.87万字 11页立即下载
一种面向列车车载控制软件的需求分析方法-计算机工程.PDF 第卷第期计算机工程年月体系结构与软件技术文章编号文献标志码中图分类号一种面向列车车载控制软件的需求分析方法
2018-04-05 约1.79万字 6页立即下载
基于形式化模型的性能分析-计算机科学国家重点试验室.PDF 基于形式化模型的性能分析(FMPA)方法及工具设计概述朱雪阳中国科学院软件研究所计算机科学实验室摘要传统的基于测量的性能分析方法往往在代码实现后才考虑实施，而有些性能问题在开发过程的早期已经被引入，这时才予以考虑，为时太晚；因为修改必须回溯到系统的早期模型，势必增加开发成本及周期。因此
2018-10-13 约5.63千字 7页立即下载
一种计算机应用系统网络安全三同步过程风险分析方法.pdf (19)国家知识产权局 (12)发明专利 (10)授权公告号 CN 113347180 B (45)授权公告日 2022.05.31 (21)申请号 202110607840.4 H04W 12/06 (2021.01)
2023-06-17 约3.24万字 19页立即下载
基于uml和形式化方法的软件体系结构研究与应用-计算机应用技术专业论文.docx 声尸声尸明州本人郑重声明：此处所提交的硕士学位论文《基于UML和形式化方法的软件体系结构研究与应用》，是本人在华北电力大学攻读硕士学位期间，在导师指导下进行的研究工作和取得的研究成果。据本人所知，除了文中特别加以标注和致谢之处外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得华北电力大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。学位论文作者签名：丞建卜日期：型垦业关于学位论文使用授权的说明本人完全了解华北电力大学有关保留、使用学位论文的规定，即：①学校有权保管、并向有
2018-12-19 约4.44万字 104页立即下载
自然灾害应急预案形式化表示技术①-计算机系统应用.PDF 2012 年第 21 卷第 9 期计算机系统应用 ① 自然灾害应急预案形式化表示技术 1 2 2 吴建安 , 吴雪莲 , 孙丙宇 1( 民政部国家减灾中心, 北京 100124) 2( 中国科学院合肥智能机械研究所, 合肥 230031) 摘要: 自然灾害应急预案描述了应急响应事件处置的
2017-09-03 约1.43万字 5页立即下载
个非否认协议ZG的形式化分析.PDF 维普资讯第 1期电子学报 V0J．33 No．1 2005年 1月 A(A EUeCIR0N10 SIM 0 Jan． 20晒一个非否认协议 ZG的形式化分析
2017-06-10 约1.14万字 3页立即下载
一种安全两群体认证协议-计算机工程.PDF 第卷第期计算机工程年月安全技术文章编号文献标志码中图分类号 一种安全两群体认证协议
2018-11-25 约4.31万字 8页立即下载
一种安全事件分析方法、装置及计算机可读存储介质.pdf (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 116048711 A (43)申请公布日 2023.05.02 (21)申请号 202211403912.4 (22)申请日 2022.11.10 (71)申请人中国联合网络通信集团有限公司地址
2023-05-08 约1.17万字 14页立即下载
基于UML的形式化需求建模的研究-计算机应用技术专业论文.docx 面向对象开发的滞式化需求建模内容摘要面向对象开发的滞式化需求建模内容摘要 f随煮软件的战略价德目益增长，企业期待着能够加速软件开发的技术，我们菇援着终嵩软传囊量、酶低较磐成本帮开发薅阕鹃方法。当蓠，瑟良对象方渡翻技术成为了软件开发的主流技术，UML作为面向对象建模事实上的国际标准，戳其丰富的图形符号和谶大的表境能力褥到了非常广泛静应甭，缀多软{牛公司都撼出了支持UML的开发工具和好发环境。像Rational公司的Rose，MS公司的 visio等簿。由此很好地满足了系统开发的可视化的需要。但即使面向对象建模戆技术蓍秘方法已经相当残熟著逐淤完善，依然存在一些润题。以UML为例，它
2018-12-18 约3.91万字 97页立即下载
《计算机科学与技术方法论》专题讲座--软件开发的形式化.ppt 《计算机科学与技术方法论》专题讲座--软件开发的形式化方法（Formal Methods in Software Development）古天龙参考资料古天龙，软件开发的形式化方法，高等教育出版社，2005 董荣胜，古天龙，计算机科学与技术方法论，人民邮电出版社，2002 古天龙，蔡国永，网络协议的形式化分析与设计，电子工业出版社，2003 杨文龙，古天龙，软件工程，电子工业出版社，2004 Alagar V.S. and Periyasamy K., Specification of Software Systems, Springer-Verlag, New Yor
2017-04-02 约1.37万字 38页立即下载
基于uml和形式化方法的面向方面实时系统模型-计算机软件与理论专业论文.docx 广东工业大学工学硕士学位论文为了从形式化方法的角度来设计实时系统，本文根据AOP技术把系统不同的广东工业大学工学硕士学位论文为了从形式化方法的角度来设计实时系统，本文根据AOP技术把系统不同的方面利用不同的形式化语言来表示，用LOTOs描述实时系统的功能性方面，而实时方面用随机实时时序逻辑sQTL表达，并通过定义迁移系统LTs和事件调度器利用时间自动机来实现方面的织入。根据分布式实时系统的特性，还进一步提出把时间方面划分为确定的、不确定的和模糊的时间子方面，并且把不同的时间 子方面分别利用随机实时时序逻辑(sQTL)和模糊时间Petri网(FTN)来设计，然后各个时间子方面都转化
2018-12-15 约7.12万字 182页立即下载
基于形式化方法的物联网传感网络安全协议深度剖析与实践应用.docx 一、引言 1.1研究背景与意义物联网作为新一代信息技术的重要组成部分，近年来取得了迅猛发展。国际数据公司（IDC）预测，到2025年，全球物联网设备连接数量将达到416亿，年复合增长率达到16%。物联网传感网络作为物联网的关键支撑，通过大量分布在物理世界中的传感器节点，实时采集环境信息，并将这些数据传输至网络进行处理和分析，广泛应用于智能交通、智能家居、工业自动化、环境监测、医疗健康等众多领域。在智能交通领域，通过在车辆、道路设施上部署传感器，能够实现交通流量实时监测、智能驾驶辅助等功能，提高交通效率，减少交通事故。在智能家居系统中，各类传感器节点可以感知室内温湿度、光照强度、
2025-02-16 约3.44万字 27页立即下载