Browsing by Author "Shi Z; Ha Q"

UTSePress Research/Manakin Repository

Search UTSePress Research

Browse

My Account

Browsing by Author "Shi Z; Ha Q"

Sort by: Order: Results:

  • The Verification Logic for Secure Transaction Protocols 
    Chen Qingfeng; Zhang Chengqi (Peoples Posts and Telecommunications Publishing House, 2002)
    In common sense, electronic transactions through secure transaction protocols are secure. However, not all so-called secure transaction protocols are secure. To verify the protocols this paper proposes the NDL ...