A formal language approach to the composition of secure systems.
Series: Canadian theses = -- Thèses canadiennes
Publisher: National Library of Canada
Published: 1994
Place of publication: Ottawa
Language: eng
Notes: Thesis (M.A.Sc.) -- University of Toronto, 1995.