TY -
BOOK
AU - Stenzel, Kurt
TI -
A verified access control model
PB - Univ., Fak. für Informatik
KW - Forschungsbericht
PY - 1993
BT - Technical report / Universität Karlsruhe, Fakultät für Informatik ; 93,26
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -