机译:基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
机译:轻量级且安全的,基于NFC的移动支付协议,基于带有正式验证的混合加密算法,确保公平交换
机译:一种轻量级和安全的NFC基础移动支付协议,确保基于具有正式验证的混合加密算法公平交换
机译:基于链空间的电子支付协议公平性形式化分析
机译:安全协议的形式分析:协议组成逻辑。
机译:摩尔多瓦共和国全民健康覆盖的障碍:对正式和非正式自付费用的政策分析
机译:正式付款协议的形式分析
机译:sET协议中付款交易要求的正式规范