Suping Jia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 Yuqing Zhang, Suping Jia: Common Program Analysis of Two-Party Security Protocols Using SMV. APWeb Workshops 2006: 923-930

	2006
1		Yuqing Zhang, Suping Jia: Common Program Analysis of Two-Party Security Protocols Using SMV. APWeb Workshops 2006: 923-930

Coauthor Index