The Verification Logic for Secure Transaction Protocols
Qingquan Chen, Chengqi Zhang · UTS ePRESS (University of Technology Sydney) · 2002
In common sense, electronic transactions through secure transaction protocols are secure.However, not all so-called secure transaction protocols are secure.To verify [he protocols this paper proposes the A'DL (nonmonotonic dvnamic logic)..4novel idea oj jail-negate, namelv non-monotonic, is proposed in :VDL.Thus some securi ZV properties are believed [0 he [rue if 11'e,based on current conditions, cannot prove they are false.On the other hand.the dynamic property in NDL converts the transaction into an action sequences.To evaluate the logic.111'0 instances are illustrated.Front the evaluation, il is convinced that the NDL is effective and promising.