Tommy Thorn

	1999
3		Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Verification of Control Flow based Security Properties. IEEE Symposium on Security and Privacy 1999: 89-103
	1998
2		Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Coarse Grained Java Security Policies. ECOOP Workshops 1998: 296
1		Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Security and Dynamic Class Loading in Java: A Formalization. ICCL 1998: 4-15

Coauthor Index

1	Thomas P. Jensen	[1] [2] [3]
2	Daniel Le Métayer	[1] [2] [3]