论文研究 密码协议形式化分析的计算合理性.pdf

提出了基于移动Agent安全方案MABCM的组播接收方不可抵赖服务MNORS。在MABCM构造的移动Agent黑箱的保护下，通过内嵌解密密钥的方式，NRR移动Agent程序能够在不可信的接收方计算环境中强制生成可信的NRR不可抵赖证据，解决了在不可信的接收方环境中强制产生可信的NRR证据的技术难题。目前，针对组播接收方不可抵赖问题的研究成果非常少，作者所知的唯一一个研究成果Nark是基于智能卡实现的，且其伪随机序列的产生方法的安全性并没有经过严格的分析和证明。和Nark相比，MNORS具有如下优点：纯软件实现、高透明性、高安全性和高可伸缩性。