A comparison of type enforcement and Unix setuid implementation of well-formed transactions

Two security mechanisms are compared and contrasted based on their implementation of the concept of well-formed transactions (D. Clark et al., 1987). They introduced the notion of transformation procedures which are intended to perform integrity preserving or enhancing operations on various classes...

Full description

Bibliographic Details

Published in:	[1990] Proceedings of the Sixth Annual Computer Security Applications Conference pp. 304 - 312
Main Authors:	Thomsen, D.J., Haigh, J.T.
Format:	Conference Proceeding
Language:	English
Published:	IEEE Comput. Soc. Press 1990
Subjects:	Certification Computer security Control systems Data security Formal verification Mechanical factors Operating systems Pipelines
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!