Privilege Transfer and Revocation in a Port-Based System. - Krithi Ramamritham; David W. Stemple; David A. Briggs; Stephen Vinter (IEEE Trans. Software Eng., 1986)

A Correction of the Termination Conditions of the Henschen-Naqvi Technique - David A. Briggs (J. ACM, 1990)