• 首页
  • 每日更新
  • 文献
  • 会议文献
  • 政策法规
  • 研究专题
  • 区块链游戏
logo 区块链前沿
  • 区块链前沿
  • 首页
  • 每日更新
  • 文献
  • 会议文献
  • 政策法规
  • 研究专题
  • 区块链游戏
  • 文章创新角色
  • 科研创新指数
  • 区块链领域本体
  • 热点主题挖掘
  • 主题展示
  • 专利文献
  • 排行榜
  • DAO治理
  • 文献上传
  • 积分获取规则
  • 大语言模型解析
  • 期刊发文分布
注册 登录

形式化分析

基本信息

形式化分析

关联概念

协同技术: 信息安全领域安全分析安全协议安全威胁安全模型形式化验证新兴技术

应用领域-数字货币: 比特币

应用领域-版权: 视频

应用领域-金融: 电子支付

技术特征: 公平性去中心化可信安全性自动化

核心技术-共识机制: 共识算法

核心技术-加密算法: PBFT算法加密密码解密

核心技术-数据存储: 区块链

项目平台: 区块链系统

相关文章

基于SmartVerif的比特币底层协议算力盗取漏洞发现

使用模糊关键字可搜索同态加密的区块链隐私保护方案

5G异构网络中基于群组的切换认证方案

基于串空间的安全协议形式化分析研究

基于改进PBFT算法防御区块链中sybil攻击的研究

基于区块链的公平多方不可否认协议

备案号: 苏ICP备17025947号-5

评论回复