TY  - RPRT
TI  - Refinement-based Specification and Security Analysis of Separation Kernels
AU  - Yongwang Zhao
AU  - David Sanan
AU  - Fuyuan Zhang
AU  - Yang Liu
PY  - 2017
UR  - https://arxiv.org/abs/1702.05997
ID  - 1702.05997
ER  -