| |
| 2003 | ||
|---|---|---|
| 3 | EE | Weijiang Yu, Aloysius K. Mok: Formal Specification and Verification of Resource Bound Security Using PVS. ISSS 2003: 113-133 |
| 2002 | ||
| 2 | EE | Weijiang Yu, Aloysius K. Mok: Enforcing Resource Bound Safety for Mobile SNMP Agents. ACSAC 2002: 69-77 |
| 1 | EE | Aloysius K. Mok, Weijiang Yu: TINMAN: A Resource Bound Security Checking System for Mobile Code. ESORICS 2002: 178-193 |
| 1 | Aloysius K. Mok | [1] [2] [3] |