Kun Wei

	2006
4		Kun Wei, James Heather: A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. Formal Aspects in Security and Trust 2006: 202-219
	2005
3		Kun Wei, James Heather: Towards Verification of Timed Non-repudiation Protocols. Formal Aspects in Security and Trust 2005: 244-257
2		Kun Wei, James Heather: Embedding the Stable Failures Model of CSP in PVS. IFM 2005: 246-265
	2003
1		Harvey B. Newman, Philippe Galvez, Gregory Denis, David Collados, Kun Wei, David Adamczyk: Global Platform for Rich Media Conferencing and Collaboration CoRR cs.MM/0306116: (2003)

Coauthor Index

1	David Adamczyk	[1]
2	David Collados	[1]
3	Gregory Denis	[1]
4	Philippe Galvez	[1]
5	James Heather	[2] [3] [4]
6	Harvey B. Newman	[1]

Colors in the list of coauthors