Horst H. Henn Reliable and Secure Operation of Smart Cards. 3-6 1999 conf/edcc/1999 EDCC http://link.springer.de/link/service/series/0558/bibs/1667/16670003.htm db/conf/edcc/edcc1999.html#Henn99