提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
[编程语言:ASP+SQL]网络考试系统,本人的毕业设计之作,功能强大,系统稳定,安全度高，考虑了许多附加功能，更具人性化，丰富的源代码解释说明，普通用户登录帐号：罗可龙，密码：12345，超级用户登录帐号：徐永刚，密码：12345，登录后可自主修改帐号和密码。
上传时间： 2014-01-04
上传用户：阳光少年2016
结合人工智能的最新方向:人工神经网络,利用BP网络的联想,记忆功能,建立了具有神经网络的驾驶员:环境闭环控制系统模型.
上传时间： 2015-11-15
上传用户：dragonhaixm
OpenSSH 是 SSH （Secure SHell） 协议的免费开源实现。它用安全、加密的网络连接工具代替了 telnet、ftp、 rlogin、rsh 和 rcp 工具。OpenSSH 支持 SSH 协议的版本 1.3、1.5、和 2。自从 OpenSSH 的版本 2.9 以来，默认的协议是版本 2，该协议默认使用 RSA 钥匙。
标签： OpenSSH Secure telnet rlogin
上传时间： 2015-11-25
上传用户：weixiao99
学习MCSE的资料Windows2000网络的安全
上传时间： 2015-11-29
上传用户：阿四AIR
本分布式小区智能网络模型采用符合现场总线(Fieldbus)要求 的CAN技术，以带CAN总线端口的主控机和单元控制器CAN端接口构成的 CAN网络层，下层为由带RS485端口的住户采集器和单元控制器RS485端 接口构成了RS485网络层，向上则利用PC机连接CAN网络层，作为智能 化小区管理中心，从而基本实现智能小区管理、控制、报警、信息采 集和自我检测的功能。 本文从智能小区、现场总线、CAN技术到“CAN+RS485”双底层网 络模型的软、硬件研究，较为详细的介绍了其设计、调试运行和期间 各种问题的解决。
上传时间： 2015-12-05
上传用户：Altman
这是opnet 建立无线网络模型的教程,对于初学opnet仿真的学者很有帮助
上传时间： 2015-12-09
上传用户：亚亚娟娟123
基于网络光盘库的优先排队模型分析.rar 基于网络光盘库的优先排队模型分析.rar
上传时间： 2014-11-17
上传用户：llandlu
1. 了解INTERNET上的安全隐患。 2. 了解网络通信安全及相关协议。 3. 了解WEB安全和邮件安全的漏洞和原理。 4. 能熟练配置WEB安全和邮件安全
上传时间： 2015-12-09
上传用户：mhp0114
面向应用的智能安全代理平台和工具包是一个综合网络应用的安全共性需求而设计和实现的一个通用性的网络信息安全应用支撑平台，并在平台上建立起的一系列安全应用和应用框架，帮助用户完成在数字世界中涉及到身份认证和信息安全的各项活动。
上传时间： 2015-12-18
上传用户：时代电子小智
