Dan J. Thomsen, J. Thomas Haigh. A comparison of type enforcement and Unix setuid implementation of well-formed transactions. In Sixth Annual Computer Security Applications Conference, ACSAC 1990, 3-7 December, 1990, Tucson, Arizona, USA. pages 304-312, IEEE, 1990. [doi]
Abstract is missing.