搜索结果: 1-3 共查到“理论经济学 Protocol”相关记录3条 . 查询时间(0.175 秒)
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...
Design and correctness proof of a security protocol for mobile banking
security protocol cornerstone implementation mobile banking services the security properties
2011/9/24
A strong security protocol is the cornerstone for the implementation of mobile banking services and is used to determine the security properties of the system. This paper proposes an application layer...