Eduard K. de Jong Frz

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz
Using formal methods to cultivate trust in smart card operating systems. Future Gener. Comput. Syst. 13 (1) (1997)
Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz
Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS (1996)
Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz
Structuring and Visualising an IC-card Security Standard. CARDIS (1996)