Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications

Zenodo (2017) [Contribution to a conference proceedings]

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

Authors

Authors

Wachtmeister, Louis
Noll, Thomas

Identifier

Downloads