Using Model Checking to Analyze Network Vulnerabilities. - Ronald W. Ritchey; Paul Ammann (S&P, 2000)

Representing TCP/IP Connectivity For Topological Analysis of Network Security. - Ronald W. Ritchey; Brian O'Berry; Steven Noel (ACSAC, 2002)

A Policy Driven Approach to Email Services. - Saket Kaushik; Paul Ammann; Duminda Wijesekera; William H. Winsborough; Ronald W. Ritchey (POLICY, 2004)

A Host-Based Approach to Network Attack Chaining Analysis. - Paul Ammann; Joseph Pamula; Julie A. Street; Ronald W. Ritchey (ACSAC, 2005)

A framework for establishing, assessing, and managing trust in inter-organizational relationships. - Joseph Pamula; Paul Ammann; Sushil Jajodia; Ronald W. Ritchey (SWS, 2006)