A formal framework for real-time information flow analysis

Joon Son, Jim Alves-Foss. A formal framework for real-time information flow analysis. Computers & Security, 28(6):421-432, 2009. [doi]

Authors

Joon Son

This author has not been identified. Look up 'Joon Son' in Google

Jim Alves-Foss

This author has not been identified. Look up 'Jim Alves-Foss' in Google