计算机应用 ›› 2010, Vol. 30 ›› Issue (8): 2130-2133.

• 信息安全 • 上一篇    下一篇

基于验证欺骗的AVM2虚拟机逃逸技术

刘小珍1,李焕洲2   

  1. 1. 四川师范大学计算机科学学院
    2. 四川师范大学物理与电子工程学院
  • 收稿日期:2010-02-02 修回日期:2010-03-09 发布日期:2010-07-30 出版日期:2010-08-01
  • 通讯作者: 刘小珍
  • 基金资助:
    四川省应用基础研究项目;四川省教育厅重点项目

Escape technique of AVM2 virtual machine based on verification deception

  • Received:2010-02-02 Revised:2010-03-09 Online:2010-07-30 Published:2010-08-01

摘要: 介绍了AVM2虚拟机的应用背景、安全研究价值和逃逸技术现状。从AVM2安全模型中的ABC验证缺陷入手,结合宿主环境漏洞和字节码仿真引擎漏洞,研究了基于验证欺骗的逃逸技术细节。最后根据当前研究成果,提出相应的防范策略,以及下阶段的改进目标。

关键词: AVM2虚拟机, 逃逸, 安全模型, 验证欺骗, 宿主环境

Abstract: The usage, value of security study, and present situation of escape techniques of AVM2 (ActionScript Virtual Machine 2) were introduced. Starting from the flaws of ABC verification in AVM2 security model, with host environment vulnerabilities and byte code simulation engine vulnerabilities, the technique details of the escape based on verification deception were then analyzed. Finally, according to the current research, proper strategies of defense and the target to improve in the next phase were given.

Key words: AVM2 Virtual Machine, Escape, Security Model, Verification Deception, host environment