毕业设计关系b/s系统 毕业设计管理工作 毕业设计管理数据
上传时间： 2013-12-06
上传用户：1101055045
水平集分割算法的C-V模型，matlab源代码
上传时间： 2015-11-06
上传用户：wang5829
着是一个用VB来实现的灰色模型GM(1,1)的程序，很简单的大家来
上传时间： 2015-11-07
上传用户：lijinchuan
用PB实现的交互式自定义模型生成工具,能够用户自定义模型，保存模型，运行模型，修改模型
上传时间： 2013-12-26
上传用户：日光微澜
文章介绍了从XML数据到任意关系数据库转换的一般过程，原理，方法等技术内容
上传时间： 2015-11-08
上传用户：zhaoq123
排队论仿真与计算程序包括各种排队模型的设计仿真与计算测试程序内容是很难的程序
上传时间： 2015-11-08
上传用户：阳光少年2016
模型机综合设计——带进位运算指令的实现1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试，分析微指令时序和数据流程。
上传时间： 2014-01-18
上传用户：qq1604324866
模型机综合设计——不带进位的与或运算指令的实现 1、通过使用软件HKCPT的联机方式实现和脱机方式实现。 2、通过微单步、单拍调试，分析微指令时序和数据流程。
上传时间： 2015-11-08
上传用户：zhoujunzhen
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。
上传时间： 2015-11-09
上传用户：zhangjinzj
