退出
我的积分:
中文文献批量获取
外文文献批量获取
文静华; 张梅; 张焕国;
贵州财经学院信息学院;
武汉大学计算机学院;
电子支付协议; 公平性; 形式化分析; ATL;
机译:电子支付协议安全性分析的形式化方法
机译:基于博弈论的形式化模型用于分布式服务发现中的合作分析
机译:使用带有自动分析工具的形式化模型设计和参数分析多机器人协调协议:一个案例研究
机译:基于博弈论的电子支付协议形式化分析
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:电子支付安全性分析的新逻辑方法 协议
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:电子支付项目的借记交易方法,例如预付卡-在支付设备和支付站之间的协议的各个步骤期间,使用相互关联的身份验证来识别支付设备,以便检测到任何干扰
机译:电子钱包和支付协议,用于以不同货币进行安全支付,包括存储经过认证的转换表和比较电子签名
机译:成本会计博弈模型和成本会计博弈方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。