| |
| 1996 | ||
|---|---|---|
| 2 | Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz: Structuring and Visualising an IC-card Security Standard. CARDIS 1996 | |
| 1 | Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz: Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS 1996 | |
| 1 | Marjan I. Alberda | [1] |
| 2 | Hugh Glaser | [2] |
| 3 | Pieter H. Hartel | [1] [2] |