David P. Gilliam, John D. Powell, Matt Bishop. Application of Lightweight Formal Methods to Software Security. In 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 13-15 June 2005, Linköping, Sweden. pages 160-165, IEEE Computer Society, 2005. [doi]
Abstract is missing.