| |
| 2005 | ||
|---|---|---|
| 2 | EE | Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin: A Modal Logic for Role-Based Access Control. MMM-ACNS 2005: 179-193 |
| 2003 | ||
| 1 | EE | 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 |
| 1 | Shiu-Kai Chin | [1] [2] |
| 2 | Polar Humenn | [1] |
| 3 | Susan Older | [1] [2] |