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] |