Zhengfan Dai

According to our database, Zhengfan Dai authored at least 3 papers between 2004 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Formally modeling and analyzing a secure mobile agent finder.

Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He

Proceedings of the IEEE International Conference on Systems, 2005

2004

AOSAM: A formal framework for aspect-oriented software architecture specifications.

Weixiang Sun, Zhengfan Dai

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Modeling and analyzing security protocols in SAM: A case study.

Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004