In the past two years, we havewitnessed a proliferation of electronic commerce protocols. Whether we like it or not, these protocols are being implemented all over the place. SET  has emerged as the Internet standard for credit card transactions, and has been endorsed by such companies as VISA, Mastercard, IBM, HP, and many more. SSL  servers are ubiquitous as the web's answer to secure communication. Recently, there has been a revival of research into analysis of cryptographic protocols. Signi-cant progress has been made. Model checking techniques and theorem provers are being utilized to run through speci cations and nd design aws. The Common Authentication Protocol Speci cation Language (CAPSL)  is emerging as a standard for expressin
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.