Stephen H. Brackin
发表
Stephen H. Brackin,
1999
.
Stephen H. Brackin,
1995,
TPHOLs.
Stephen H. Brackin,
S. Brackin,
1996,
Proceedings 9th IEEE Computer Security Foundations Workshop.
Stephen H. Brackin,
1998
.
Stephen H. Brackin,
1998,
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
Stephen H. Brackin,
1999,
14th IEEE International Conference on Automated Software Engineering.
Stephen H. Brackin,
1997,
Proceedings of SNDSS '97: Internet Society 1997 Symposium on Network and Distributed System Security.
Stephen H. Brackin,
Randall W. Lichota,
Grace L. Hammonds,
1996,
Proceedings 12th Annual Computer Security Applications Conference.
Stephen H. Brackin,
1996,
TPHOLs.
Shiu-Kai Chin,
Stephen H. Brackin,
S. Brackin,
1993,
HUG.
Stephen H. Brackin,
Randall W. Lichota,
Grace L. Hammonds,
1996
.
Stephen H. Brackin,
S. Brackin,
1994,
TPHOLs.
Stephen H. Brackin,
1999,
Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99).