Improving Flask Implementation Using Hardware Assisted In-VM Isolation - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Improving Flask Implementation Using Hardware Assisted In-VM Isolation

(1, 2) , (1, 2) , (1) , (1)
Baozeng Ding
  • Function : Author
  • PersonId : 1007448
Fufeng Yao
  • Function : Author
  • PersonId : 1007449
Yanjun Wu
  • Function : Author
  • PersonId : 1007450
Yeping He
  • Function : Author
  • PersonId : 1007451


The Flask architecture, which mainly contains object manager (OM) and security server (SS), is widely used to support flexible security policies in operating system. In nature, OM and SS should be isolated from each other to separate decision from enforcement. However, current implementation of Flask, such as SELinux and SEBSD, puts both OM and SS in the same address space. If one component is subverted, the whole system will be exposed to the attacker. In this paper, we present hardware assisted in-VM isolation to improve the security of the Flask implementation. The key of our approach is the separation of SS from other parts of guest OS by constructing hardware assisted page tables at the hypervisor level. In this way SS can execute in a strongly isolated address space with respect to its associated guest OS, and therefore can provide a trustworthy and centralized repository for policy and decision-making. Our experiment shows that our method introduces moderate performance overhead.
Fichier principal
Vignette du fichier
978-3-642-30436-1_10_Chapter.pdf (161.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01518216 , version 1 (04-05-2017)


Attribution - CC BY 4.0



Baozeng Ding, Fufeng Yao, Yanjun Wu, Yeping He. Improving Flask Implementation Using Hardware Assisted In-VM Isolation. 27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.115-125, ⟨10.1007/978-3-642-30436-1_10⟩. ⟨hal-01518216⟩
104 View
107 Download



Gmail Facebook Twitter LinkedIn More