Exploiting Automatic Analysis of E-Commerce Protocols.

Jun Wei, Shing-Chi Cheung, Xu Wang

Browse the full COMPSAC paper archive.