A Framework for Fair Communicating Processes. - Susan Older (MFPS, 1997)

Formal Development of Secure Email. - Dan Zhou; Joncheng C. Kuo; Susan Older; Shiu-Kai Chin (HICSS, 1999)

Strong fairness and Recursive Communicating Processes. - Susan Older (MFPS, 1999)

Strong Fairness and Full Abstraction for Communicating Processes. - Susan Older (Inf. Comput., 2000)

Formal Methods for Assuring Security of Protocols. - Susan Older; Shiu-Kai Chin (Comput. J., 2002)

Outcomes-based Assessment as an Assurance Education Tool. - Susan Older; Shiu-Kai Chin (World Conference on Information Security Education, 2003)

Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. - Thumrongsak Kosiyatrakul; Susan Older; Polar Humenn; Shiu-Kai Chin (MMM-ACNS, 2003)

A Modal Logic for Role-Based Access Control. - Thumrongsak Kosiyatrakul; Susan Older; Shiu-Kai Chin (MMM-ACNS, 2005)

Credentials Management for High-Value Transactions. - Glenn S. Benson; Shiu-Kai Chin; Sean Croston; Karthick Jayaraman; Susan Older (MMM-ACNS, 2010)

Policy-Based Design and Verification for Mission Assurance. - Shiu-Kai Chin; Sarah Muccio; Susan Older; Thomas N. J. Vestal (MMM-ACNS, 2010)

Access Control, Security, and Trust - A Logical Approach. - Shiu-Kai Chin; Susan Older (CRC Press, 2011)

Engineering Assurance at the Undergraduate Level. - Susan Older; Shiu-Kai Chin (IEEE Secur. Priv., 2012)

Banking on interoperability: Secure, interoperable credential management. - Glenn S. Benson; Shiu-Kai Chin; Sean Croston; Karthick Jayaraman; Susan Older (Comput. Networks, 2014)