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

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

出版社：机械工业出版社

ISBN：9787111297260

出版年：2010

作者：李建华

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

网络安全协议形式化分析及支撑工具研究

作者：肖美华
出版社：中国科学院
出版年：2008

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

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

电子商务网络协议的形式化分析理论与应用

作者：谢晓尧
ISBN：9787030200327
出版社：科学出版社
出版年：2008

网络协议的形式化分析与设计

作者：古天龙
ISBN：7505386468
出版社：电子工业出版社
出版年：2003

基于拜占庭容错的PoS区块链底层协议形式化分析与验证

作者：陈凯杰
出版社：中国科学技术大学
出版年：2022

AACS安全协议的形式化验证

作者：王薇
出版年：2009