 | 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: (1999) |
| 1997 |
|---|
| 1 | | Susan Older:
A Framework for Fair Communicating Processes.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
