David A. Briggs

Publication Activity (10 Years)

Years Active: 1986-1990
Publications (10 Years): 0

Publications

David A. Briggs
A Correction of the Termination Conditions of the Henschen-Naqvi Technique J. ACM 37 (4) (1990)
Krithi Ramamritham, David W. Stemple, David A. Briggs, Stephen Vinter
Privilege Transfer and Revocation in a Port-Based System. IEEE Trans. Software Eng. 12 (5) (1986)