KIT | KIT-Bibliothek | Impressum

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 Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 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