|本期目录/Table of Contents|

[1]王开建,周 鑫,宋 文*,等.基于Petri网的虚拟化I/O控制[J].绵阳师范学院学报,2016,(02):73-78.
 WANG Kai-jian,ZHOU xin,SONG wen,et al.On Virtulization of I/O Control based on Petri Net[J].Journal of Mianyang Normal University,2016,(02):73-78.
点击复制

基于Petri网的虚拟化I/O控制(PDF)
分享到:

《绵阳师范学院学报》[ISSN:1672-612X/CN:51-1670/G]

卷:
期数:
2016年02期
页码:
73-78
栏目:
计算机与网络技术
出版日期:
2016-02-15

文章信息/Info

Title:
On Virtulization of I/O Control based on Petri Net
文章编号:
1672-612x(2016)02-0073-06
作者:
王开建周 鑫宋 文*唐明伟
西华大学计算机与软件工程学院, 四川成都 610039
Author(s):
WANG Kai-jian ZHOU xin SONG wen TANG Ming-wei
School of Computer and Software Engineering, Xihua University, Chengdu 610039, China
关键词:
Petri网 虚拟化技术 虚拟化I/O S_不变
Keywords:
Petri Nets Virtualization Technology Virtualization I/O S_invariant
分类号:
TP311
DOI:
-
文献标志码:
A
摘要:
在虚拟化技术中,黑客可利用虚拟化监视器(Virtual Machine Monitor)中存在的隐藏信息流窃取用户信息,并且恶意调用(Input/Output,I/O)资源攻击虚拟化监视器.本文以Petri网为系统逻辑设计工具,建立了一种基于Petri网的虚拟化I/O控制模型.该模型解决多个虚拟机争夺共享I/O资源以及虚拟机监视器在管理虚拟机I/O资源的权限时出现的同步问题.本文进一步通过分析Petri网的可达标识图和S_不变量对模型I/O资源间的同步和互斥进行了验证.
Abstract:
In the virtualization technology, hackers can steal the userinfo hidden in the monitor of a virtual machine, which also maliciously call the resources of I/O to attack Virtual Machine Monitors(VMM). Petri nets are suitable to design the system logic of a target system. Hence, this paper proposes a novel virtualization I/O control model by using Petri nets. The competition of limited I/O resources among multiple virtual machines is decided and the synchronization problem appearing in I/O resource permission management for a VMM is solved.This paper further verifies the synchronization and the mutual exclusion of I/O resources by using the reach ability graph, S_ invariant, and flow diagram of Petri nets.

参考文献/References:

[1] 肖人毅. 云计算中数据隐私保护研究进展[J]. 通信学报, 2014, 35(12): 168-177.
[2] 唐源. 虚拟机监视器结构与实现技术[J]. 计算机应用研究, 2009, 26(5): 1632-1635.
[3] 赵菁, 邓凡星等. 虚拟化技术比较研究[J]. 价值工程, 2015,(27): 231-235.
[4] Intel开源软件技术中心. 系统虚拟化: 原理与实现[M]. 清华大学出版社, 2008.
[5] 李小庆, 赵晓东. 基于硬件虚拟化的单向隔离执行模型[J]. 软件学报, 2012, 23(8): 2207-2222.
[6] 赵跃华, 邓渊浩. 基于硬件虚拟化的内核竞态漏洞监测技术研究与实现[J]. 软件导刊, 2015, 14(5): 161-164.
[7] 宋振华, 杨亚军. 基于Xen的虚拟机间的磁盘I/O性能隔离[J]. 小型微型计算机系统, 2011, 32(8): 1678-1678.
[8] 张怀方. 基于虚拟化技术的信息流控制方法[J]. 信息安全与技术, 2013.8: 46-49.
[9] 袁崇义. Petri网原理与应用[M]. 北京: 电子工业出版社, 2005.
[10] 吴哲辉. Petri网导论[M]. 北京: 机械工业出版社, 2006.
[11] Wolfgang Reisig. PETRI NETS[M]. Berlin: Springer-Verlag, 1982.
[12] Intel. Intel 64 and IA-32 Architectures Software Developer’s Manual[M], Intel, 2015.

相似文献/References:

[1]周 鑫,宋 文,唐明伟,等.基于Petri网的带宽共享系统设计[J].绵阳师范学院学报,2016,(02):83.
 ZHOU Xin,SONG Wen,TANG Mingwei,et al.Design of Bandwidth Sharing System based on Petri net[J].Journal of Mianyang Normal University,2016,(02):83.
[2]杨博钦,宋 文,周 鑫.基于Petri网的电梯群控系统设计[J].绵阳师范学院学报,2015,(02):71.
 YANG Bo-qin,SONG Wen,ZHOU Xin.Design of Group Control System for Variable Speed Elevator Based on Petri Nets[J].Journal of Mianyang Normal University,2015,(02):71.

备注/Memo

备注/Memo:
基金项目:四川省科技厅项目(2013JY0089,2016JY0244),四川省教育厅重点项目(13ZA0019).
作者简介:王开建(1990-),男,四川遂宁人,工学硕士,研究方向:Petri网理论及应用,
*通信作者:宋文(1956-), 男,四川成都人,教授, 硕导, CCF高级会员,研究方向:Petri网理论及应用
更新日期/Last Update: 2016-02-15