Marjan I. Alberda

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)