Using formal methods to cultivate trust in smart card operating systems. - Marjan I. Alberda; Pieter H. Hartel; Eduard K. de Jong Frz (Future Gener. Comput. Syst., 1997)