Verifying the SET Purchase Protocols
Article in Journal of Automated Reasoning (January 2006)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Journal of Automated Reasoning (January 2006)
Article in International Journal of Information Security (February 2005)
Article in Proceedings of the IEEE (July 1999)