：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
资源简介：：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了...
上传时间： 2015-11-09
上传用户：zhangjinzj
资源简介：PGP 是一种混合密码系统。当用户使用PGP 来对纯文字加密的时候， PGP 首先会压缩这 段纯文字。数据压缩能够节省调制解调器传输时间以及磁盘类空间，还有更重要的、强化密码法的 保密程度。
上传时间： 2015-04-15
上传用户：我干你啊
资源简介：Axis本质上就是一个SOAP引擎,提供创建服务器端、客户端和网关SOAP操作的基本框架。Axis目前版本是为Java编写的
上传时间： 2014-01-25
上传用户：徐孺
资源简介：C++经典教学PPT C++本质上是一种重“创新”而轻“生产”的语言，到目前为止仍然是主流语言中最适合技术创新的一个； 1995年之前，整个软件产业处于“创新为王”的阶段，C++是最适合这个阶段的语言，这是C++红极一时的大背景和根本原因。 1995年发生了一系...
上传时间： 2013-12-22
上传用户：watch100
资源简介：svm(支持向量机)分类算法本质上是二类分类器，实现多类分类的方法一般是将多类分类看作是多个一对多的二类分类器。本程序就是基于svmlight的svm多类分类器实现。对分类感兴趣的用户请参照。配合中文分词（参见我上传的程序），可实现中文多类分本分类。
上传时间： 2014-01-06
上传用户：anng
资源简介：反向传播算法也称BP算法。由于这种算法在本质上是一种神经网络学习的数学模型，所以，有时也称为BP模型。
上传时间： 2016-12-02
上传用户：417313137
资源简介：反向传播算法也称BP算法。由于这种算法在本质上是一种神经网络学习的数学模型，所以，有时也称为BP模型。
上传时间： 2014-01-19
上传用户：youlongjian0
资源简介：一百年来,cup就想人类的大脑一样由低级的爬虫复合体进化到如今的新皮质,这是cpu进化过程的史诗!
上传时间： 2015-03-10
上传用户：caixiaoxu26
资源简介：这是《MCS-51单片机应用开发实用子程序》配套源代码,对初学者很有用的
上传时间： 2015-04-29
上传用户：gundamwzc
资源简介：这是一个通过fuzzy和其他控制算法结合来对单摆进行控制的仿真程序！
上传时间： 2015-05-05
上传用户：trepb001
资源简介：目录语音电话高级编程是一个通过调制解调器来进行语音电话开发的程序，相信读者一定会感兴趣。 本程序需要调制解调器的支持，否则可能失败 需要调制解调器支持语音传输，本程序在子弹头调制解调器下调试通过，通话时通过麦克风和话筒来进行。
上传时间： 2013-12-19
上传用户：kelimu
资源简介：后台管理系统是用来对后台进行管理的系统可以进行一系列管理活动
上传时间： 2014-01-25
上传用户：q123321
资源简介：交通信号灯的控制： 1． 通过8255A并口来控制LED发光二极管的亮灭。 2． A口控制红灯，B口控制黄灯，C口控制绿灯。 3． 输出为0则亮，输出为1则灭。 4． 用8253定时来控制变换时间 。 要求：设有一个十字路口，1、3为南，北方向，2、4为东西方向，初始态...
上传时间： 2014-01-03
上传用户：zhouli
资源简介：这是MSP430F449单片机利用时钟晶振得到实时时钟以及片内ad转换控制的源代码
上传时间： 2014-01-19
上传用户：kytqcool
资源简介：物料管理系统是一套用来记录公司货物采购的情况及其它一些方面的应用
上传时间： 2013-12-11
上传用户：xfbs821
资源简介：语音电话高级编程是一个通过调制解调器来进行语音电话开发的程序，相信读者一定会感兴趣。 本程序需要调制解调器的支持，否则可能失败 需要调制解调器支持语音传输，本程序在子弹头 调制解调器下调试通过，通话时通过麦克风和话筒 来进行。
上传时间： 2013-12-16
上传用户：362279997
资源简介：本程序实现DSA数字签名 是学习和研究密码学的良好资源 欢迎下载
上传时间： 2017-09-03
上传用户：fxf126@126.com
资源简介：·【内容简介】本版密码学可谓当今该领域的经典之作，是现代密码学最全面的纵览。本书不仅描述了程序员和电子通讯专家如何利用密码学－－即加密/解密技术来维护私人数据，而且还囊括了大量密码学算法与规则，给出了如何把这些算法和规则运用到密码软件中去的...
上传时间： 2013-05-16
上传用户：3到15
资源简介：内容摘要：在简单介绍算术编码和自适应算术编码的基础上，介绍了利用FPGA器件并通过VHDL语言描述实现自适应算术编码的过程。整个编码系统在LTERA公司的MAX+plus Ⅱ软件上进行了编译仿真，测试结果表明：编码器各个模块的设计在速度和资源利用两方面均达到了较...
上传时间： 2014-08-10
上传用户：gououo
资源简介：运用安全套接字协议实现安全隧道。这是专为那些不具有外部IP地址却仍想实现互联网服务的人设计的。服务器被置于一台拥有公网地址的计算机上。客户端运行在防火墙/网关后的某台计算机上。这使得客户端可以访问互联网。运行服务器端进程无需超级用户特权。也无...
上传时间： 2014-07-24
上传用户：wyc199288
资源简介：这是 FTP协议的 0。17版本的源代码 在一定程度上是比较适用的
上传时间： 2015-06-29
上传用户：ommshaggar
资源简介：cdma2000空中接口技术规范---层3协议：本参考性技术文件是为适应CDMA蜂窝技术在我国的发展，保证不同厂家支持 cdma2000 的基站和手机在CDMA2000 网络内能够互通工作，并与支持IS-95A/IS-95B 的系统后向兼容，并且为了保证我国的国内开发有标准可依，为方便...
上传时间： 2015-10-13
上传用户：cc1915
资源简介：嵌入式系统网络协议栈的灵活性在应用上是一个重要指标。介绍嵌入式实操作系统VxWorks网络协议栈的MUX（Mutiplexer）接口及其使用方法。
上传时间： 2015-11-10
上传用户：pkkkkp
资源简介：MyUploader 是一款使用 http 协议(RFC 1867)用于上传文件和文件夹到一个网络服务器的简单易用的收费 Java 程序.使用托拽操作,你可以在短时间之内上传数以百计的文件.在上传文件的过程当中提供一个可视化进度条.
上传时间： 2013-12-04
上传用户：q123321
资源简介：OSPF是一种路由选择协议。路由选择算法和路由选择协议在概念上是不同的。网络上的主机、路由器通过路由选择算法形成路由表，以确定发送分组的传输路径。而路由选择协议是路由器用来建立路由表和更新路由信息的通信协议。 开放最短路径优先协议(Open Shortest...
上传时间： 2014-01-04
上传用户：笨小孩
资源简介：EMC存储系统资料,包括iSCSI（互联网小型计算机系统接口）的资料,iSCSI是一种在Internet协议网络上，特别是以太网上进行数据块传输的标准。它是由Cisco和IBM两家发起的，并且得到了IP存储技术拥护者的大力支持。是一个供硬件设备使用的可以在IP协议上层运行的S...
上传时间： 2014-01-05
上传用户：xinyuzhiqiwuwu
资源简介：和我之前上载的intel 802.11协议源码是配套的，这个代码是intel的底层driver
上传时间： 2014-01-20
上传用户：gdgzhym
资源简介：PCI datasheet,是由INTEL提出来的一种并行传输协议
上传时间： 2014-01-04
上传用户：jhksyghr
资源简介：A d hoc 移动网络是一种完全由移动主机构成的网络. 网络拓扑易变, 带宽、能源有限是ad hoc 移动网络 的主要特点. 针对这些特点, 目前设计的ad hoc 路由协议大多采用按需查找方式. 该文介绍了这方面研究的最新进 展, 对几种典型的按需路由协议进行了说明、分...
上传时间： 2015-04-26
上传用户：古谷仁美
资源简介：密码编码学与网络安全：原理与实践（第二版）这本书是密码学的不错教材，国内第二版这本书要买48元，为大家方便就将它上传了吧。 本书内容涵盖了古典密码、DES、AES、RSA等等经典密码学加密算法的详细描述。
上传时间： 2014-12-03
上传用户：qiao8960
