dblp.uni-trier.dewww.uni-trier.de

Chunling Wang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
2 Yuqing Zhang, Chunling Wang, Shimin Wei: Using SMV for Cryptographic Protocol Analysis: A Case Study. FCS 2005: 150-153
2001
1 Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li: Using SMV for Cryptographic Protocol Analysis: A Case Study. Operating Systems Review 35(2): 43-50 (2001)

Coauthor Index

1Xing Li [1]
2Shimin Wei [2]
3Jianping Wu [1]
4Yuqing Zhang [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)