Testing, planning rep. no. 02-3 (Gaithersburg, MD: NIST Program Office Strategic Planning and
Economic Analysis Group, May 2002).
308 At University of Texas, a Secure Software Reading Group; at University of Dublin, a Formal Methods
and Security Reading Group.