论文部分内容阅读
随着基于Internet的分布式计算的兴起,如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一,由Necula和Lee提出的自带证明代码(PCC)概念被认为一种可行的技术,文中研究PCC技术所涉及的技术问题,分析比较了PCC和其他安全技术的适应性,指出了该技术的优点和限制,提出了相应的改进措施,探讨了其在远程高性能并行计算及可移动代码迁移系统中应用的可能性。