登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
基于抽象状态机的安全协议形式化验证
出版社:
中国科学院
出版年:
2011
作者:
彭建华
资源类型:
图书
细分类型:
中文文献,学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
AACS安全协议的形式化验证
作者:
王薇
出版年:
2009
基于状态转移系统的安全协议形式化建模方法的研究
作者:
岳庆刚
出版社:
中国科学院
出版年:
2012
安全协议自动形式化验证及在智能合约安全分析的应用研究
作者:
汪万森
出版社:
中国科学技术大学
出版年:
2024
分布式共识协议的形式化验证
作者:
高嵩
出版社:
中国科学院软件研究所
出版年:
2024
安全协议形式化分析与验证
作者:
肖美华
ISBN:
9787030626332
出版社:
科学出版社
出版年:
2019
网络安全协议的形式化分析与验证
作者:
李建华
ISBN:
9787111297260
出版社:
机械工业出版社
出版年:
2010
×
访问借阅管理系统