Search the dblp DataBase

Publications of Author

1. Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin
   Formal Development of Secure Email. [Citation Graph (0, 0)][DBLP]
   HICSS, 1999, pp:- [Conf]
   
2. Susan Older, Shiu-Kai Chin
   Outcomes-based Assessment as an Assurance Education Tool. [Citation Graph (0, 0)][DBLP]
   World Conference on Information Security Education, 2003, pp:179-196 [Conf]
   
3. Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
   A Modal Logic for Role-Based Access Control. [Citation Graph (0, 0)][DBLP]
   MMM-ACNS, 2005, pp:179-193 [Conf]
   
4. Thumrongsak Kosiyatrakul, Susan Older, Polar R. Humenn, Shiu-Kai Chin
   Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. [Citation Graph (0, 0)][DBLP]
   MMM-ACNS, 2003, pp:32-46 [Conf]
   
5. Susan Older, Shiu-Kai Chin
   Formal Methods for Assuring Security of Protocols. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2002, v:45, n:1, pp:46-54 [Journal]
   
6. Susan Older
   A Framework for Fair Communicating Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
   
7. Susan Older
   Strong fairness and Recursive Communicating Processes. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
   
8. Susan Older
   Strong Fairness and Full Abstraction for Communicating Processes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:163, n:2, pp:471-509 [Journal]
   
9. 
   Credentials Management for High-Value Transactions. [Citation Graph (, )][DBLP]
   
   
10. 
    Policy-Based Design and Verification for Mission Assurance. [Citation Graph (, )][DBLP]