摘要
虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估。使用CPN-Tools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较。
Virtual machine has been widely applied in computer security.The loader scheme can make different affection on VM running.This paper proposes a method to make the VM model with Petri-net.By this method the model can be formalized for different loader scheme to VM,and the performance can be evaluated.The experiments by CPN-tools show that this method can analyze some characters for model and can compare consume for time and space among these schemes effectively.
出处
《计算机与现代化》
2011年第10期193-195,198,共4页
Computer and Modernization
