安全协议实施安全性自动化分析与验证

安全协议实施安全性自动化分析与验证

出版社：科学出版社

ISBN：9787030625069

出版年：2019

作者：孟博

资源类型：图书

细分类型：中文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

安全协议实施自动化生成与验证

作者：孟博
ISBN：9787030508676
出版社：科学出版社
出版年：2016

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

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

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

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

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

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

空间数据系统安全协议的安全性分析

作者：汪成策
出版年：2003

安全协议原理与验证

作者：王聪
ISBN：9787563574896
出版社：北京邮电大学出版社
出版年：2025