搜索结果: 1-4 共查到“经济学 Protocol”相关记录4条 . 查询时间(0.203 秒)
企业碳审计的实施，需以碳足迹评价为基础，通过碳足迹评价得出企业碳排放量，在此基础上开展审计工作。国际范围内碳足迹评价标准可借鉴ISO14064和GHG Protocol，结合两者，以生命周期法为基础，本文选取以电脑机箱作为主打产品的A制造企业进行了碳审计的案例研究。
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...