Marjan I. Alberda
According to our database1, Marjan I. Alberda authored at least 2 papers between 1996 and 1997.
Legend:Book In proceedings Article PhD thesis Other
Using formal methods to cultivate trust in smart card operating systems.
Future Generation Comp. Syst., 1997
Using formal methods to cultivate trust in Smart Card Operating Systems.
Proceedings of the Second Smart Card Research and Advanced Application Conference, 1996