Security Type Checking for MILS-AADL Specifications.

Kevin van der Pol Thomas Noll

Published in: MILS@HiPEAC (2015)

Keyphrases

type checking
information flow control
data types
database query languages
relational calculus
query processor
object model
object recognition
abstract data types
information flow
test cases
high level
relational algebra
complex objects
incomplete information
multi dimensional
knn
knowledge discovery
data sources