Giampaolo Bella. Mechanising a Protocol for Smart Cards. In Isabelle Attali, Thomas P. Jensen, editors, Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings. Volume 2140 of Lecture Notes in Computer Science, pages 19-33, Springer, 2001. [doi]
Abstract is missing.