David A. Briggs

List of publications from the DBLP Bibliography Server - FAQ

1990

2 EE David A. Briggs: A Correction of the Termination Conditions of the Henschen-Naqvi Technique J. ACM 37(4): 712-719 (1990)

1986

1 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): 635-648 (1986)

1990
2	EE	David A. Briggs: A Correction of the Termination Conditions of the Henschen-Naqvi Technique J. ACM 37(4): 712-719 (1990)
1986
1		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): 635-648 (1986)

Coauthor Index