Susan Older

According to our database, Susan Older authored at least 13 papers between 1997 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Banking on interoperability: Secure, interoperable credential management.

Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older

Comput. Networks, 2014

2012

Engineering Assurance at the Undergraduate Level.

Susan Older, Shiu-Kai Chin

IEEE Secur. Priv., 2012

2011

Access Control, Security, and Trust - A Logical Approach.

Shiu-Kai Chin, Susan Older

Chapman and Hall / CRC cryptography and network security series, CRC Press, ISBN: 978-1-584-88862-8, 2011

2010

Policy-Based Design and Verification for Mission Assurance.

Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas N. J. Vestal

Proceedings of the Computer Network Security, 2010

Credentials Management for High-Value Transactions.

Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older

Proceedings of the Computer Network Security, 2010

2005

A Modal Logic for Role-Based Access Control.

Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin

Proceedings of the Computer Network Security, 2005

2003

Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.

Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin

Proceedings of the Computer Network Security, 2003

Outcomes-based Assessment as an Assurance Education Tool.

Susan Older, Shiu-Kai Chin

Proceedings of the Security Education and Critical Infrastructures, 2003

2002

Formal Methods for Assuring Security of Protocols.

Susan Older, Shiu-Kai Chin

Comput. J., 2002

2000

Strong Fairness and Full Abstraction for Communicating Processes.

Susan Older

Inf. Comput., 2000

1999

Strong fairness and Recursive Communicating Processes.

Susan Older

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Formal Development of Secure Email.

Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1997

A Framework for Fair Communicating Processes.

Susan Older

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997