Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications

Wachtmeister, Louis; Noll, Thomas (Corresponding author)

Zenodo (2017)
Contribution to a conference proceedings

In: [embeddedworld Exibition & Conference, 2017-03-14 - 2017-03-16, Nuremberg, Germany]
Page(s)/Article-Nr.: 5 Seiten

Downloads