10 citations · 28 across the 17 of their papers we have counts for
Showing 2015 · cs.SEShow all
2 papers · 2 filters
cs.SE2015★ 2 cited
Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication
Yongwang Zhao, David Sann, Fuyuan Zhang +1
Assurance of information flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for separation kernels, ARINC 653 ha…
cs.SE2015★ 7 cited
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B
Yongwang Zhao, Zhibin Yang, David Sanan +1
Standards play the key role in safety-critical systems. Errors in standards could mislead system developer's understanding and introduce bugs into system implementations. In this p…