Integrating formal methods tools to support system design. - Shiu-Kai Chin; John Faust; Joseph Giordano (ICECCS, 1995)

Formal Methods Applied to Secure Network Engineering. - Shiu-Kai Chin; John Faust; Joseph Giordano (ICECCS, 1996)

Reconstructing the Database after Electronic Attacks. - Brajendra Panda; Joseph Giordano (DBSec, 1998)

An overview of post information warfare data recovery. - Brajendra Panda; Joseph Giordano (SAC, 1998)

Defensive Information Warfare - Introduction. - Brajendra Panda; Joseph Giordano (Commun. ACM, 1999)

BASIS: A Biological Approach to System Information Security. - Victor A. Skormin; José G. Delgado-Frias; Dennis L. McGee; Joseph Giordano; Leonard J. Popyack; Vladimir I. Gorodetski; Alexander O. Tarakanov (MMM-ACNS, 2001)

A process control approach to cyber attack detection. - Nong Ye; Joseph Giordano; John Feldman (Commun. ACM, 2001)

Cyber Forensics: A Military Operations Perspective. - Joseph Giordano; Chester Maciag (Int. J. Digit. EVid., 2002)

Component-abnormality detection and immunization for survivable systems in large distributed environments. - Joon S. Park; Pratheep Chandramohan; Joseph Giordano (IASTED Conf. on Software Engineering and Applications, 2004)

Trusted Component Sharing by Runtime Test and Immunization for Survivable Distributed Systems. - Joon S. Park; Pratheep Chandramohan; Ganesh Devarajan; Joseph Giordano (SEC, 2005)

Component Integrity Check and Recovery Against Malicious Codes. - Joon S. Park; Gautam Jayaprakash; Joseph Giordano (AINA (2), 2006)

A Framework of Multiple-Aspect Component-Testing for Trusted Collaboration in Mission-Critical Systems. - Joon S. Park; Avinash T. Suresh; Gaeil An; Joseph Giordano (CollaborateCom, 2006)

Role-based profile analysis for scalable and accurate insider-anomaly detection. - Joon S. Park; Joseph Giordano (IPCCC, 2006)

Access Control Requirements for Preventing Insider Threats. - Joon S. Park; Joseph Giordano (ISI, 2006)

Introduction. - Brajendra Panda; Joseph Giordano; Daniel Kalil (Commun. ACM, 2006)

Component survivability at runtime for mission-critical distributed systems. - Joon S. Park; Pratheep Chandramohan; Avinash T. Suresh; Joseph Giordano; Kevin A. Kwiat (J. Supercomput., 2013)