ScholarLens Back to search
2010•Jisuanji gongchengRequires access

Improved Logic Analysis Method for Electronic Commerce Protocols

Qinglei Zhou

Open publisher page 0 citations

Abstract

This paper proposes an improved logic analysis method based on Qing-Zhou logic to analyze the security of electronic commerce protocols such as accountability,fairness and atomicity.By introducing the fresh property of the message,it make a message replayed can be recognized.And it redefines the realization of accountability,so that it can correctly analyze the property when the replay attack occurs.It gives atomicity goal and increases the method for atomicity analysis to analyze atomicity of electronic commerce protocols.

About this research paper

What this paper is about

This paper proposes an improved logic analysis method based on Qing-Zhou logic to analyze the security of electronic commerce protocols such as accountability,fairness and atomicity.By introducing the fresh property of the message,it make a message replayed can be recognized.And it redefines the realization of accountability,so that it can correctly analyze the property when the replay attack occurs.It gives atomicity goal and increases the method for atomicity analysis to analyze atomicity of electronic commerce protocols.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

This paper proposes an improved logic analysis method based on Qing-Zhou logic to analyze the security of electronic commerce protocols such as accountability,fairness and atomicity.By introducing the fresh property of the message,it make a message replayed can be recognized.And it redefines the realization of accountability,so that it can correctly analyze the property when the replay attack occurs.It gives atomicity goal and increases the method for atomicity analysis to analyze atomicity of electronic commerce protocols.

Key concepts: Atomicity, Computer science, Property (philosophy), Realization (probability), Replay attack, Accountability, Computer security, Theoretical computer science

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
Improved Logic Analysis Method for Electronic Commerce Protocols — Research Paper | ScholarLens