 | 2010 |
|---|
| 10 |       | Shiu-Kai Chin,
Sarah Muccio,
Susan Older,
Thomas N. J. Vestal:
Policy-Based Design and Verification for Mission Assurance.
MMM-ACNS 2010: 125-138 |
| 9 | | Glenn S. Benson,
Shiu-Kai Chin,
Sean Croston,
Karthick Jayaraman,
Susan Older:
Credentials Management for High-Value Transactions.
MMM-ACNS 2010: 169-182 |
| 2005 |
|---|
| 8 | | Thumrongsak Kosiyatrakul,
Susan Older,
Shiu-Kai Chin:
A Modal Logic for Role-Based Access Control.
MMM-ACNS 2005: 179-193 |
| 2003 |
|---|
| 7 | | Thumrongsak Kosiyatrakul,
Susan Older,
Polar Humenn,
Shiu-Kai Chin:
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.
MMM-ACNS 2003: 32-46 |
| 6 |  | Susan Older,
Shiu-Kai Chin:
Outcomes-based Assessment as an Assurance Education Tool.
World Conference on Information Security Education 2003: 179-196 |
| 2002 |
|---|
| 5 | | Susan Older,
Shiu-Kai Chin:
Formal Methods for Assuring Security of Protocols.
Comput. J. 45(1): 46-54 (2002) |
| 2000 |
|---|
| 4 | | Susan Older:
Strong Fairness and Full Abstraction for Communicating Processes.
Inf. Comput. 163(2): 471-509 (2000) |
| 1999 |
|---|
| 3 | | Dan Zhou,
Joncheng C. Kuo,
Susan Older,
Shiu-Kai Chin:
Formal Development of Secure Email.
HICSS 1999 |
| 2 | | Susan Older:
Strong fairness and Recursive Communicating Processes.
Electr. Notes Theor. Comput. Sci. 20: 433-448 (1999) |
| 1997 |
|---|
| 1 | | Susan Older:
A Framework for Fair Communicating Processes.
Electr. Notes Theor. Comput. Sci. 6: 273-292 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page