KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal, informal and constructive methods in development of secure systems

Beth, Thomas; Diffie, W.; Simmons, G. J.; Strack, Hermann


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: 223392
Erscheinungsvermerk In: System security. Ed.: T. Beth. Saarbruecken 1992. (Dagstuhl-Seminar-Report. 37.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page