Formale Spezifikation generischer ITSEC-Funktionalitätsklassen

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

@inproceedings{Peleska93,
  title = {Formale Spezifikation generischer ITSEC-Funktionalitätsklassen},
  author = {Jan Peleska},
  year = {1993},
  researchr = {https://researchr.org/publication/Peleska93},
  cites = {0},
  citedby = {0},
  pages = {354-364},
  booktitle = {GI Jahrestagung},
}