逻辑构件相关论文
针对新一代高度复杂电子信息系统,设计了一种抽象集成设计方法。该方法将复杂电子系统分为物理平台集合、逻辑构件集合及系统应用......
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,......
概念设计是设计中最重要的阶段之一 ,由于概念设计在思维空间上表现得较为广泛和分散 ,需要有相应的理论、方法和工具作为设计支持......
随着信息网络技术的发展,电子商务已成为Internet和信息技术向纵深发展的重要标志,同时,电子商务的安全性问题也日益突出,受到广大......