Formally modeling and analyzing a secure mobile agent finder.

Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He

Browse the full SMC paper archive.