介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
资源简介:本文件是基于NS2的AODVSEC协议的仿真源代码,在AODV协议基础上加入安全模块
上传时间: 2013-12-22
上传用户:李彦东
资源简介:基于ARM的I2C协议实现
上传时间: 2013-12-20
上传用户:diets
资源简介:网络,基于嵌入式的网络协议,UDP/IP的协议.处理器无关部分源代码
上传时间: 2015-03-11
上传用户:evil
资源简介:基于VxWorks的图形界面开发工具Zinc6.0的升级补丁。
上传时间: 2013-12-28
上传用户:一诺88
资源简介:Nokia论坛提供的基于CDMA的SmartMessage协议,可以在此基础上实现铃声RingTone图片Logo,VCard,VCalendar
上传时间: 2015-04-20
上传用户:chenlong
资源简介:基于TMS320C6000DSP的ITU_TG729A协议的研究和实现的硕士论文
上传时间: 2015-06-11
上传用户:我们的船长
资源简介:无限局域网标准。该标准介绍了无限局域网的安全协议
上传时间: 2014-01-19
上传用户:梧桐
资源简介:基于Nucleus的RTSP协议的简单实例
上传时间: 2014-12-05
上传用户:王小奇
资源简介:FTKernelAPI 是基于标准的BitTorrent协议开发网络内核库.你可以在BitZam的基础上在很短的时间内开发出通用的BitTorrent下载程序或者 自己专用的禁止其他人的BitTorrent软件下载的程序. 你不必再关心BitTorrent协议 的细节, 这些都已经被封装在了内核库中. ...
上传时间: 2015-10-22
上传用户:hwl453472107
资源简介:SBP2协议,基于1394的高层协议,可用于1394外设.
上传时间: 2013-11-29
上传用户:zhanditian
资源简介:SBP3协议,基于1394的高层协议,是SBP2的更高版本.
上传时间: 2015-11-28
上传用户:agent
资源简介:一个基于web的开源项目管理工具,可以对多个项目、多个团队进行基本的项目管理:任务进度控制、讨论区、文档共享,可生成干特图、普通列表。
上传时间: 2015-12-18
上传用户:huangld
资源简介:基于单片机的 snmp协议解析的一些原代码 给有用的 同行
上传时间: 2014-11-09
上传用户:569342831
资源简介:基于j2me的高等代数计算工具,可用于大学中高等代数课程的常用运算。使用低级UI进行开发,UI类可以作为框架开发其他程序。
上传时间: 2013-12-22
上传用户:
资源简介:基于S3C2410的xmodem协议实现,实现后可以通过该协议完成target和host的文件传输,不需要再用Jtag烧板子
上传时间: 2013-12-23
上传用户:stewart·
资源简介:基于UCOS的TCPIP协议栈开发的源代码
上传时间: 2016-03-06
上传用户:xc216
资源简介:基于JXTA的管道协议编写的即时消息软件Xchat,利用P2PSocket 在Peer之间传输消息,实现InputPipe 的监听器。
上传时间: 2013-12-25
上传用户:llandlu
资源简介:tcpip c51源程序(基于8019的TCPIP协议),是初学者的号帮手
上传时间: 2014-10-28
上传用户:无聊来刷下
资源简介:基于WinPcap的网络协议实验的仿真实现
上传时间: 2014-07-15
上传用户:康郎
资源简介:本代码用于基于opnet的aloha协议的仿真代码
上传时间: 2016-06-14
上传用户:kelimu
资源简介:基于Perl的HTTP协议GUI测试程序,能够制定测试的目的URL,修改测试参数,实时反应测试结果
上传时间: 2016-08-13
上传用户:tb_6877751
资源简介:基于DHT的对等协议,由MIT开发,一般用于P2P资源查询
上传时间: 2013-12-31
上传用户:hj_18
资源简介:基于msp430的TCPIP协议栈包括源代码和文档说明
上传时间: 2016-10-03
上传用户:253189838
资源简介:基于OMNET++的Leach协议仿真研究,学习无线传感网络仿真必看。
上传时间: 2016-11-03
上传用户:mhp0114
资源简介:SQLiteManager是一个支持多国语言基于Web的SQLite数据库管理工具。它的特点包括多数据库管理,创建和连接;表格,数据,索引操作;视图,触发器,和自定义函数管理。数据导入/导出;数据库结构导出。
上传时间: 2016-11-30
上传用户:zycidjl
资源简介:基于OMNeT_的IPv6协议仿真模型,供学习omnet以及做mip 仿真的人士使用
上传时间: 2014-11-28
上传用户:671145514
资源简介:基于OMNeT_的TCP_IP协议仿真,一种熟悉omnet的好文章
上传时间: 2016-12-07
上传用户:skhlm
资源简介:基于Java的全文信息检索工具Lucene简介
上传时间: 2014-01-27
上传用户:003030
资源简介:最新推出的行情发布产品,基于通用的传输协议为国内外传统的技术分析软件提供实时的行情和历史数据的行情接口,支持将倚天财经发布的沪深股票,国内期货
上传时间: 2013-12-31
上传用户:叶山豪
资源简介:这是一个基于Java的smpp协议点对点发送短消息的开发源码包
上传时间: 2014-01-15
上传用户:xuan‘nian