Constructive methods for IT-security - the necessary completion of "formal" approaches
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 224792 |
| Erscheinungsvermerk | Karlsruhe 1992. (Report. E.I.S.S., Universitaet Karlsruhe. 1992,12.) und In: Proceedings of the 7th European Conference on Information Systems Security, Control & Audit, Bruessel 1992. Amsterdam 1992. |