Anonymity; Atomicity; E-commerce protocols; Fairness; Formal Method; Non-repudiation; Security Protocols;
机译:电子商务协议公平性表征的形式化建模与分析
机译:电子商务协议公平性表征的形式化建模与分析
机译:电子商务协议的形式分析
机译:电子商务协议的形式验证
机译:设计和验证安全的电子商务协议。
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:用于正式验证区块链共识协议的过程结石