Search for Author All Reviews
	Macewen, Glenn     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       The development and proof of a formal specification for a multilevel secure system Glasgow J., Macewen G. ACM Transactions on Computer Systems 5(2): 151-184, 1987.  Type: Article This clear, well-written research paper presents an approach to the formal mathematical specification of a multilevel secure system that is particularly suited to networks. It provides an alternative to the more common specification te...... Oct 1 1987
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy