Security Type Checking for MILS-AADL Specifications

@inproceedings{Pol2015SecurityTC,
  title={Security Type Checking for MILS-AADL Specifications},
  author={Kevin van der Pol and Thomas Noll},
  booktitle={MILS@HiPEAC},
  year={2015}
}