Ronald J. Watro

12 papers A* 1A 2B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2012 J jnl
Certificate Policy (CP) for the Resource Public Key Infrastructure (RPKI).
RFC
Stephen T. Kent, Derrick Kong, Karen Seo, Ronald J. Watro
2009 B conf
An architecture for scalable network defense.
LCN
Tim Strayer, Walter C. Milliken, Ronald J. Watro, Walt Heimerdinger, Steven A. Harp, Robert P. Goldman, Dustin Spicuzza, Beverly Schwartz, David Mankins, Derrick Kong, Pieter Mudge Zatko
2004 — conf
TinyPK: securing sensor networks with public key technology.
SASN
Ronald J. Watro, Derrick Kong, Sue-fen Cuti, Charles Gardiner, Charles Lynn, Peter Kruus
2003 A conf
Forum Session: Security for Wireless Sensor Networks.
ACSAC
David Carman, Daniel Coffin, Bruno Dutertre, Vipin Swarup, Ronald J. Watro
1993 J jnl
Mathematical Foundations of Time Warp Systems.
ACM Trans. Program. Lang. Syst.
Jonathan I. Leivent, Ronald J. Watro
1992 A conf
Dealing with the dynamics of security: Flexibility with utility in an MLS LAN.
ACSAC
Peter A. Loscocco, William R. Kutz, Dale M. Johnson, Ronald J. Watro
1991 — conf
Redex Capturing in Term Graph Rewriting (Concise Version).
RTA
William M. Farmer, Ronald J. Watro
1990 J jnl
A Correctness Proof for Combinator Reduction with Cycles.
ACM Trans. Program. Lang. Syst.
William M. Farmer, John D. Ramsdell, Ronald J. Watro
1990 J jnl
Redex Capturing in Term Graph Rewriting.
Int. J. Found. Comput. Sci.
William M. Farmer, Ronald J. Watro
1987 A* conf
Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version).
PODC
Michael F. Bridgland, Ronald J. Watro
1984 J jnl
On Partitioning the Infinite Subsets of Large Cardinals.
J. Symb. Log.
Ronald J. Watro
1984 J jnl
On the Ultrafilters and Ultrapowers of Strong Partition Cardinals.
J. Symb. Log.
James M. Henle, E. M. Kleinberg, Ronald J. Watro