ISSE

Search

A Verified Access Control Model

K. Stenzel

A Verified Access Control Model

published 1993 in: Fakultät für Informatik, Universität Karlsruhe, Germany Technical Report 26/93


Downloads: