A Verification Model for Electronic Transaction Protocols.

Qingfeng Chen, Chengqi Zhang, Shichao Zhang

Browse the full APWEB paper archive.