基于抽象状态机的安全协议形式化验证

基于抽象状态机的安全协议形式化验证

出版社：中国科学院

出版年：2011

作者：彭建华

资源类型：图书

细分类型：中文文献,学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

AACS安全协议的形式化验证

作者：王薇
出版年：2009

基于状态转移系统的安全协议形式化建模方法的研究

作者：岳庆刚
出版社：中国科学院
出版年：2012

安全协议自动形式化验证及在智能合约安全分析的应用研究

作者：汪万森
出版社：中国科学技术大学
出版年：2024

分布式共识协议的形式化验证

作者：高嵩
出版社：中国科学院软件研究所
出版年：2024

安全协议形式化分析与验证

作者：肖美华
ISBN：9787030626332
出版社：科学出版社
出版年：2019

网络安全协议的形式化分析与验证

作者：李建华
ISBN：9787111297260
出版社：机械工业出版社
出版年：2010