登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
群组密钥交换协议的设计与形式化分析
出版社:
中国科学院
出版年:
2006
作者:
孙海波
资源类型:
图书
细分类型:
中文文献,学位论文
3浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
认证密钥协商协议形式化分析
作者:
毛颖
出版社:
中国科学院信息工程研究所
出版年:
2019
认证群组密钥协商协议的设计与分析
作者:
滕济凯
出版社:
中国科学院
出版年:
2011
认证密钥交换协议的设计与分析
作者:
郭燕飞
出版年:
2014
认证协议和公平交换协议的形式化分析
作者:
沈海峰
出版年:
2005
密码协议形式化分析研究
作者:
雷新锋
出版社:
中国科学院
出版年:
2012
网络协议的形式化分析与设计
作者:
古天龙
ISBN:
7505386468
出版社:
电子工业出版社
出版年:
2003
×
访问借阅管理系统