Authcoin; Colored Petri Net; Authentication; Security; Trust; Privacy; Access control; Identity; Blockchain; Smart contract; Formal verification;
机译:通过应用面向安全风险的模式来保护正式的启用了区块链的身份认证协议
机译:通过应用面向安全风险的模式来保护正式的启用了区块链的身份认证协议
机译:PSDAAP:在海洋WSN中使用基于身份的多重签名来确保数据认证聚合协议的安全
机译:将需求规范映射到一个正式的区块链的认证协议中,用于安全个人身份保证
机译:无双线性配对的车辆状态消息广播的基于安全有效身份的有条件隐私保护身份验证协议
机译:PSDAAP:在海洋WSN中使用基于身份的多重签名来确保数据认证聚合协议的安全
机译:基于安全身份的基于安全身份和认证的经过认证的密钥协议协议,无配合
机译:是什么使密码协议安全。正式密码协议分析中需求规范的演变