Kevin R. O'Neill
发表
Joseph Y. Halpern,
Kevin R. O'Neill,
K. O'Neill,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Joseph Y. Halpern,
Kevin R. O'Neill,
2005
.
Joseph Y. Halpern,
Kevin R. O'Neill,
K. O'Neill,
2003,
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Michael R. Clarkson,
Stephen Chong,
Kevin R. O'Neill,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).