Zhengfan Dai

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He
Formally modeling and analyzing a secure mobile agent finder. SMC (2005)
Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
Modeling and analyzing security protocols in SAM: A case study. IASTED Conf. on Software Engineering and Applications (2004)
Weixiang Sun, Zhengfan Dai
AOSAM: A formal framework for aspect-oriented software architecture specifications. IASTED Conf. on Software Engineering and Applications (2004)