形式化分析技术相关硕士博士期刊学术论文 - 搜论网

形式化分析技术相关论文

软件体系结构的若干研究

该文对软件体系结构的研究主要分为两个方面：一是软件体系结构的基本核心内容,二是软件体系结构在软件适应性方面的研究.软件体系结......

学位

软件体系结构体系结构描述语言形式化分析技术网络计算软件适应性动态重配置 SASAM模型

网络安全的核心-密码算法和安全协议

该文讨论了有关网络安全的两个核心问题：密码算法和安全协议。首先，作者们分析了美国ＮＩＳＴ公布的１５个ＡＥＳ候选算法，由此可见国际分组密码发展的潮......

会议

网络安全密码算法形式化分析技术研究成果安全协议热点问题分组密码电子商务美国潮流

看过本文同时还关注