Language Extensions for Programmable Security. - John Hale; Rodrigo Chandia; Clinton Campbell; Sujeet Shenoi (DBSec, 2000)

On Modeling Computer Networks for Vulnerability Analysis. - Clinton Campbell; Jerald Dawkins; Brandon Pollet; Kenneth Fitch; John Hale; Mauricio Papa (DBSec, 2002)