Weijiang Yu

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

Coauthor Index

1

Aloysius K. Mok

[1] [2] [3]