Joon Son

发表

Covert timing channel analysis in mls real-time systems

Jim Alves-Foss, Joon Son, 2008 .

High level specification of non-interference security policies in partitioned MLS systems

Jim Alves-Foss, Joon Son, J. Alves-Foss, 2007 .