| LC control no. | n 96012596 |
|---|---|
| Personal name heading | Waidner, Michael |
| Found in | A general framework for formal notions of "secure" systems, 1994: t.p. (Michael Waidner) p. 1 (Univ. Karlsruhe, Fak. fMur Informatik, Karlsruhe, Germany) Computer security--ESORICS 2002, 2002: CIP t.p. (Michael Waidner) datasheet (b. Dec. 20, 1961) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
