IEEE - Institute of Electrical and Electronics Engineers, Inc. - Refinement-based Specification and Security Analysis of Separation Kernels

Author(s): Yongwang Zhao ; David Sanan ; Fuyuan Zhang ; Yang Liu
Sponsor(s): IEEE Computer Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Paper): 1545-5971
DOI: 10.1109/TDSC.2017.2672983
Regular:

Assurance of information-flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for improving safety, ARINC 653 has been complied... View More

Advertisement