composibility of behaviorally secure systems
By: Ping Lin.
Contributors: University of Toronto. Computer Systems Research Institute.
Series: Technical report CSRI -- 250
Publisher: Computer Systems Research Institute, University of Toronto
Published: 1991
Place of publication: Toronto
Language: eng
Number of pages: 89
Subjects: Computer security.; System design.
Notes: "June 1991,"

Thesis (Ph. D.)--University of Toronto, 1990.

Includes bibliographical references: p. 81-90.