- Extending VLSI Design with HigherOrder Logic Anand Chavan, ShiuKai Chin, JuinYeu Lu
- Credentials Management for High-Value Transactions
- An Instruction Set Process Calculus ShiuKai Chin 1 and Jang Dae Kim 2
- Highly Assured Computer Engineering ShiuKai Chin
- Formal Development of Secure Email \Lambda Dan Zhou Joncheng C. Kuo Susan Older ShiuKai Chin
- A Logical Approach to Access Control, Security, Shiu-Kai Chin and Susan Older
- new theory `HOL` An Introduction to
- Policy-Based Design and Verification for Mission Shiu-Kai Chin1
- Report Format for CSE 773 Dept. of Electrical & Computer Engineering
- White Paper on High Confidence Technology \Lambda ShiuKai Chin
- Formal Analysis of a Secure Communication Channel: Secure CoreEmail Protocol
- A Rigorous Approach to Teaching Access Control Shiu-Kai Chin and Susan Older
- A Trusted Information Sharing Project Shiu-Kai China
- 0018-9162/98/$10.00 1998 IEEE December 1998 25 Integrating Security
- A Modal Logic for Role-Based Access Control Thumrongsak Kosiyatrakul, Susan Older, and Shiu-Kai Chin
- HighConfidence Design for Security ShiuKai Chin
- Building a Rigorous Foundation for Assurance into Information Assurance Susan Older and Shiu-Kai Chin
- Secure Access Control: Design of a Secure Command and Control System to Enable Dynamic Air Tasking
- Formal Analysis of X.509 Certi cates Thumrongsak Kosiyatrakul, Susan Older, and Shiu-Kai Chin
- Journal of Information Warfare (2003) 2, 3: 86 100 86 ISSN 1445-3312 print/ISSN 1445-3347 online
- The Logic of Engaging the Democratic People's Republic of Korea: Principles, Practice, and Experience
- Embedding Algebraic Specifications in HOL Dan Zhou 1 and ShiuKai Chin 2
