安全协议形式化研究与实现

【文件属性】：

文件名称：安全协议形式化研究与实现

文件大小：27KB

文件格式：KDH

更新时间：2012-01-01 04:51:36

安全协议，形式化

硕士论文,研究通信安全协议方面的，对形式化的研究与实现