Formal Method for Security Analysis of Electronic Payment Protocols
['Yi LIU', 'Qingkun MENG', 'Xingtong LIU', 'Jian WANG', 'Lei ZHANG', 'Chaojing TAN ...']
/
IEICE Transactions in Information and Systems
/ Vol. 101
/ No. 9
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？