KIT | KIT-Bibliothek | Impressum

Constructive methods for IT-security - the necessary completion of "formal" approaches

Strack, Hermann



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 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.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page