漫游协议的一种模拟,一篇毕业硕士论文,运用UC模型对自证实公钥的一种应用证明