Modeling Hierarchical Mobile Agent Security Protocol Using CP Nets. - Nimesh Desai; Kumkum Garg; Manoj Misra; Bharadwaj Veeravalli (HiPC, 2007)