Formal Analysis of Secure Transaction Protocols - Chen, Qingfeng; Zhang, Shichao; Zhang, Chengqi (Secure Transaction Protocol Analysis, 2008)
Keywords: Accumulation Rule; Communicate Sequential Process; Inference Rule; Logical Framework; Security Protocol