Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans. On-the-Fly Formal Testing of a Smart Card Applet. In Ryoichi Sasaki, Sihan Qing, Eiji Okamoto, Hiroshi Yoshiura, editors, Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan. pages 565-576, Springer, 2005.
No references recorded for this publication.
No citations of this publication recorded.