David A. Briggs

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

2 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		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