Protocols; Indexes; Tools; Model checking; Credit cards; Reactive power;
机译:模型检查iKP电子支付协议
机译:通过模型检查在量子密码协议中进行窃听方法的模型库
机译:使用任务模型和误传生成模型检查人与人之间的通信协议
机译:模型检查客户端微付款协议
机译:模型检查顺序一致性和参数化协议。
机译:更正为:普通实践中质量激励付款的有效性(EQuIP-GP):一项针对澳大利亚普通实践中基于结果的供资模型的聚类随机试验以改善患者护理的研究方案
机译:模型检查服务器端微支付协议
机译:模型检查安全协议