%0
Book
%T
A verified access control model
%A
Stenzel, Kurt
%I
Univ., Fak. für Informatik
%K
Forschungsbericht
%D
1993
%C
Univ., Fak. für Informatik
%C
Karlsruhe
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation