An Efficient and Simple Way to Test the Security of Java CardsTM In Proceedings of the 3rd International Workshop on Security in Information Systems - Volume 0ICEIS, 331-342, 2005 , Miami, United States