Refinement-based Specification and Security Analysis of Separation Kernels

20 February 2017

Yang Liu

Papers citing "Refinement-based Specification and Security Analysis of Separation Kernels"

2 / 2 papers shown

Title
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Zhuoruo Zhang Chenyang Yu Rui Chang Mingshuai Chen K. Ren He Huang Qinming Dai Wenbo Shen MoE 34 1 0 16 Sep 2022
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication Yongwang Zhao David Sanán Fuyuan Zhang Yang Liu 28 18 0 17 Oct 2015