88 citations · 388 across the 68 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.SE2017
Refinement-based Specification and Security Analysis of Separation Kernels
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
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…
cs.CL2017★ 6 cited
A Joint Framework for Argumentative Text Analysis Incorporating Domain Knowledge
Zhongyu Wei, Chen Li, Yang Liu
For argumentation mining, there are several sub-tasks such as argumentation component type classification, relation classification. Existing research tends to solve such sub-tasks…
cs.SE2017★ 4 cited
High-Assurance Separation Kernels: A Survey on Formal Methods
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
Separation kernels provide temporal/spatial separation and controlled information flow to their hosted applications. They are introduced to decouple the analysis of applications in…