位置：成果数据库 > 期刊 > 期刊详情页
Kailor逻辑的缺陷
  • 期刊名称：软件学报
  • 时间：0
  • 页码：1999.12,第10卷第12期,1238-1245
  • 语言：中文
  • 相关项目：非否认协议及协议形式化分析研究
作者： 周典萃，卿斯汉|
同期刊论文项目
非否认协议及协议形式化分析研究
期刊论文 5 获奖 2
同项目期刊论文
简评美国公布的15个AES候选算法
一种新型的网络安全实现方法—基因计算机
一种新型的防火墙系统
LOK197的线性密码分析