Susan Older

13 papers B 2Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	Banking on interoperability: Secure, interoperable credential management. Comput. Networks Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older
2012	J	`jnl`	Engineering Assurance at the Undergraduate Level. IEEE Secur. Priv. Susan Older, Shiu-Kai Chin
2011	—	`book`	Access Control, Security, and Trust - A Logical Approach. Shiu-Kai Chin, Susan Older
2010	—	`conf`	Credentials Management for High-Value Transactions. MMM-ACNS Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older
2010	—	`conf`	Policy-Based Design and Verification for Mission Assurance. MMM-ACNS Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas N. J. Vestal
2005	—	`conf`	A Modal Logic for Role-Based Access Control. MMM-ACNS Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin
2003	—	`conf`	Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. MMM-ACNS Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin
2003	—	`conf`	Outcomes-based Assessment as an Assurance Education Tool. World Conference on Information Security Education Susan Older, Shiu-Kai Chin
2002	J	`jnl`	Formal Methods for Assuring Security of Protocols. Comput. J. Susan Older, Shiu-Kai Chin
2000	J	`jnl`	Strong Fairness and Full Abstraction for Communicating Processes. Inf. Comput. Susan Older
1999	—	`conf`	Formal Development of Secure Email. HICSS Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin
1999	B	`conf`	Strong fairness and Recursive Communicating Processes. MFPS Susan Older
1997	B	`conf`	A Framework for Fair Communicating Processes. MFPS Susan Older