| 2006 |
|---|
| 4 | EE | 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 | EE | Kun Wei,
James Heather:
Towards Verification of Timed Non-repudiation Protocols.
Formal Aspects in Security and Trust 2005: 244-257 |
| 2 | EE | Kun Wei,
James Heather:
Embedding the Stable Failures Model of CSP in PVS.
IFM 2005: 246-265 |
| 2003 |
|---|
| 1 | EE | 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) |
