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

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

出版社：中国科学技术大学

出版年：2022

作者：陈凯杰

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

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

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

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

认证协议和公平交换协议的形式化分析

作者：沈海峰
出版年：2005

认证密钥协商协议形式化分析

作者：毛颖
出版社：中国科学院信息工程研究所
出版年：2019

认证协议的形式化分析方法研究

作者：丁一强
出版社：中国科学院
出版年：1999

基于CPN的电子商务协议形式化分析通用方法研究

作者：徐萌
出版年：2009