A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION
英
美
一个安全、原子的电子商务协议及其形式化验证
目录
查词历史
英 汉