期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

采用形式验证技术分析加密规约

下载PDF

导出

作者 Kemm.,RA 李萌

出处《计算机与密码》 1989年第4期50-62,共13页

关键词加密规约形式验证形式规范

分类号 TN918.2 [电子电信—通信与信息系统]

引文网络
相关文献

1陆才华,蔡斌,葛雄浩.射频连接器中的电缆固定结构[J].机电元件,2012,32(6):52-56. 被引量：1
2郭林林.HDTV视盘[J].北京电子,2004(4):36-37.
3丁扣宝,张秀淼.两次线性电压扫描法测量半导体的产生参数[J].固体电子学研究与进展,1994,14(4):363-367. 被引量：1
4李瑞杰,罗锋,周华民.水流挟沙力分析与探讨[J].海洋湖沼通报,2009(1):88-94. 被引量：18

计算机与密码

1989年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部