:提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同 时完成对一些数据例如会话密钥等的协商。依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协 议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
上传时间: 2015-11-09
上传用户:zhangjinzj
为保证轧机生产线安全、高效工作,及时掌握电气、机械设备的工作状态和潜在事故信息,建立了以振动、电量参数为主的在线监测诊断系统。系统实时采集的大量数据,为设备管理与维护及故障诊断提供了重要依据
标签: 生产线
上传时间: 2014-01-02
上传用户:yulg
C语言进阶,包含以下的内容:C语言进阶-第一讲概述.pdf\C语言进阶-第二讲C语言复习.pdf\C语言进阶-第三讲编译汇编调试.pdf\C语言进阶-第四讲存储器与指针.pdf\C语言进阶-第五讲 数据结构与链表.pdf\C语言进阶-第六讲中断与驱动.pdf\C语言进阶-第七讲编码风格.pdf\C语言进阶-第八讲编写安全无错的代码.pdf\C语言进阶-lmalloc 第四讲代码.rar\C语言进阶-ASIX Win link list 第五讲代码.rar
上传时间: 2016-01-16
上传用户:pinksun9
该数据包系在原有数据包的基础上收集整理的近 500 多种特洛伊木马、后门程序、网络蠕虫。在能拦截近 500 多种特洛伊木马、后门程序、网络蠕虫的同时还能保持用户原有设置的连贯性。因此,敬请放心使用。 到目前为止该数据包已经能拦截的特洛伊木马、后门程序、网络蠕虫总数已经接近 500 种,包括世界最流行的SubSeven系列、BO系列、The Thing系列;国产的“广外女生”、“网络神偷”、“冰河”、“东方魔眼”;还有最近流行的“SCO炸弹”、“恶鹰”、“冲击波”、“蠕虫王”、“小邮差”、“灰鸽子”。这些规则极大增强用户的网络安全。 使用方法:解压后将IpRule.DAT复制到SkyNet\Rules下,覆盖原有的IpRule.DAT,打开防火墙将安全级别设置为“自定义”。OK
上传时间: 2013-11-30
上传用户:498732662
国内第一数字点卡销售程序。功能强大。 完整无错!数据文件经MD5加密!经严格测试,安全稳定!!!
上传时间: 2013-12-18
上传用户:baiom
UDP安全传输(完整源码) 1、自动分包组包 2、支持一次性发送任意大小的包 3、支持安全控制 4、根据丢包率和网速度动态控制发包速度(因时间的局限此功能未很好的实现) 5、对于用户透明的接口(开发人员不用关心实现细节可以和使用其它UDP控件一样简单的使用本类) 接口的简单说明,使用本类很简单 当想要发送大数据包或者具有安全控制的数据包就使用方法 SafeSendBuff 即可:) 当然接收方必须使用本类(即服务端。因为偶需要自动处理分包、组包、重发等细节) 给事件成员OnDataCase付值即可该事件是接收到数据时触发 具体使用方法请见演示程序 DemoClient.exe 为接收窗体 DemoServer.exe 为发送窗体 发送202575字节的东西需要3秒时间
上传时间: 2016-04-04
上传用户:change0329
Verilog实现AES加密算法 密码模块作为安全保密系统的重要组成部分,其核心任务就是加密数据。分组密码算法AES以其高效率、低开销、实现简单等特点目前被广泛应用于密码模块的研制中。密码模块一般被设计成外接在主机串口或并口的一个硬件设备或是一块插卡,具有速度快,低时延的特点。而从整体发展趋势来看,嵌入式密码模块由于灵活,适用于多种用户终端、通信设备和武器平台,将会得到更加广泛的应用
上传时间: 2016-04-05
上传用户:miaochun888
在用计算机进行数据传输时,常用的是串行通信方式。在 Visual C++的编程中,既可以用 Windows API函数进行串行通信编程,也可以利用环境自带的控件进行编程。利用 API函数编写实际应用程序时,往往要考虑多线程的问题,这样编出来的程序不但十分庞大,而且结构比较复杂,继承性差,维护困难。但是使用串行通信控件就 相对简单一些,而且功能强大,性能安全可靠。
上传时间: 2013-12-09
上传用户:z754970244
重要数据处理,删除一个文件的错误代码,防止产生重大的安全隐患
标签: 数据处理
上传时间: 2014-01-03
上传用户:jkhjkh1982
本程序可实现对数据进行加密,使数据在传输过程中安全!
上传时间: 2016-05-24
上传用户:四只眼