• 复杂安全协议的形式化分析、设计与验证研究

    复杂安全协议的形式化分析、设计与验证研究

    陈铁明[1]2004年在《复杂安全协议的形式化分析、设计与验证研究》文中研究说明保障网络通信安全的一个极其重要的环节是安全协议,安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。同时,PKI体系作为一个强有力的网络安全保障系统已被广泛地应用于各种商业网络环境,各种基于PKI应用的复杂安全协...
  • 基于知识的网络化工艺规划系统关键技术研究

    基于知识的网络化工艺规划系统关键技术研究

    彭文利[1]2006年在《基于制造资源优化配置的网络化工艺分工规划技术研究》文中提出随着网络、信息技术的迅猛发展和广泛应用,以制造过程分布式、数字化、网络化为特征的网络化制造模式应运而生。面对网络化制造背景下分布式、动态化的制造资源,产品的工艺分工规划过程必然面临新的问题和挑战。在网络化制造环境中,...