Security Type Checking for MILS-AADL Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kevin van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications. In Sergey Tverdyshev, editor, International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015. Zenodo, 2015. [doi]

This author has not been identified. Look up 'Kevin van der Pol' in GoogleThis author has not been identified. Look up 'Thomas Noll' in Google

runs on WebDSL