Formale Spezifikation generischer ITSEC-Funktionalitätsklassen

Jan Peleska. Formale Spezifikation generischer ITSEC-Funktionalitätsklassen. In GI Jahrestagung. pages 354-364, 1993.

Abstract

Abstract is missing.