搜索结果: 1-2 共查到“银行学 Reasoning”相关记录2条 . 查询时间(0.125 秒)
Accountability of Centralized Payment Systems: Formal Reasoning, Protocol Design and Analysis
Accountability Electronic payment Formal method Key generation and distribution Payment protocols
2011/9/26
Accountability is one of the most critical security properties of electronic payment protocols. It can be used to resolve disputes among involved parties. Several formal logics were proposed for reaso...
Accountability of Centralized Payment Systems: Formal Reasoning, Protocol Design and Analysis
Accountability Electronic payment Formal method Key generation and distribution Payment protocols
2011/9/26
Accountability is one of the most critical security properties of electronic payment protocols. It can be used to resolve disputes among involved parties. Several formal logics were proposed for reaso...