exam-manage.rar - 在线考试系统。一部分是模板。一部分已经完成。用Visual Stutio2005,2007-06-26 14:37:18,下载18次
student_manage_demo.rar - 学生管理系统样板。有点简单，但是可以自己修改，用Visual Studio 2005,2007-06-26 14:35:34,下载26次
802[1].1d_new.rar - 802[1].1d技术规范及说明文档，英文版，但是内容很详尽,2007-06-26 14:31:24,下载5次
secure_protocal_about_strand.rar - ：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同
时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协
议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand
的存在关系和Strand参数一致性的分析问题。,2007-06-26 14:23:57,下载2次
Strand.rar - 提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的
证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对
Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的证明，并且它还使得证明过程简洁而直观。,2007-06-25 14:07:23,下载5次