提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。
上传时间： 2015-11-08
上传用户：jeffery
Introduction to Grid Computing with Globus（网格计算简介) 这本 IBM 红皮书旨在为爱好网格计算技术的读者提供 Globus Toolkit 的使用介绍。其中讨论了网格计算的基础知识，以及各种网格产品和架构。本书是学习网格计算的良好起点，它能为您打下良好的基础。然后，您就可以更深入地学习网格计算的未来、OGSA、电子商务，以及 IBM 按需计算计划的理念。 这本红皮书包括下列主题： 网格计算基础 架构和安全性考虑 开放网格服务架构（Open Grid Services Architecture ，OGSA）简介 Globus Toolkit 组件描述 Globus Toolkit Version 2.2 实现
标签： Globus Introduction Computing Toolkit
上传时间： 2013-12-26
上传用户：努力努力再努力
本文基于遗传算法思想，采用浮点数矩阵表示编码，在遗传算法的进化过程中加入一定的约束条件等方法，探讨了网络结构的设计和学习。经实例分析，在用于建立大坝安全监控预报模型的前馈神经网络设计中，该方法在满足一定约束条件下，能同时有效地寻找合适的网络结构和相应的参数(神经网络的权值和阈值)，且在精度和速度上都有较大的提高，为实现实时在线分析评价大坝的安全性态提供了有力的技术支持。
标签： 算法
上传时间： 2015-11-15
上传用户：凌云御清风
HeyCacher 高性能缓存方案(带源码) 1. 文件的所有权益归上传用户所有 2. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途 3. CSDN下载频道仅提供交流平台，并不能对任何下载内容负责 4. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。 5. 本站不保证本站提供的下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
上传时间： 2015-11-17
上传用户：lo25643
BT程序压缩包 差错少，下载快，安全性高
标签： 程序
上传时间： 2015-11-19
上传用户：lepoke
图书管理系统是典型的信息管理系统，其开发主要包括后台数据库的建立和维护以及前端应用程序的开发两个方面。对于前者要求建立起数据一致性和完整性强、数据安全性好的库。而对于后者则要求应用程序功能完备,易使用等特点。 因此要求结合开入式图书馆的要求，对MS SQL Server2000数据库管理系统、SQL语言原理、完成对图书管理系统的需求分析、功能模块划分、数据库模式分析，并由此设计了数据库结构和应用程序。
上传时间： 2013-12-17
上传用户：dyctj
目录：图书管理系统软件设计说明 一．可行性研究 二．需求分析：1．任务概述2．数据需求：2.3 数据库描述：2.4 数据采集： 3．功能需求：新书入库DFD：图书借阅的DFD：过期提示的DFD：借阅查询的DFD：还书处理的DFD4．安全性需求：5．一致性需求6．完整性需求 三. 概要设计说明书：4．运行设计： 四．详细设计
上传时间： 2015-11-23
上传用户：hjshhyy
古典加密算法，vc实现 该软件实现了目前安全性较高的rsa加密算法 来自黑基。
标签： 加密算法
上传时间： 2013-12-04
上传用户：zwei41
Microsoft® Windows® Server 2003 家族的 Internet 信息服务 (IIS) 在 Intranet、Internet 或 Extranet 上提供了集成、可靠、可伸缩、安全和可管理的 Web 服务器功能。IIS 是用于为动态网络应用程序创建强大的通信平台的工具。各种规模的组织都使用 IIS 来主控和管理 Internet 或其 Intranet 上的网页、主控和管理 FTP 站点、使用网络新闻传输协议 (NNTP) 和简单邮件传输协议 (SMTP) 路由新闻或邮件。IIS 6.0 支持用于开发、实现和管理 Web 应用程序的最新 Web 标准（如 Microsoft ASP.NET、XML 和简单对象访问协议 (SOAP)）。IIS 6.0 包括一些面向组织、IT 专家和 Web 管理员的新功能，它们旨在为单台 IIS 服务器或多台服务器上可能拥有的数千个网站实现性能、可靠性和安全性目标。
标签： Internet Microsoft reg Extranet
上传时间： 2015-12-11
上传用户：lps11188
说明对程序系统的设计考虑，包括程序系统的基本处理流程，程序系统的组织结构、模块划分、功能分配、接口设计、运行设计、数据结构设计和安全性设计等，为程序的详细设计奠定基础。允许增加特殊的编写目的，即根据实际情况，编写者希望将一些针对特定系统的概要设计的考虑进行说明，可附加到上述一段文字的后面。
标签： 程序
上传时间： 2013-12-22
上传用户：天诚24
