Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications (bibtex)
by Thomas Noll, Louis Wachtmeister
Reference:
T. Noll, and L. Wachtmeister. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, In: International Workshop on MILS: Architecture and Assurance for Secure Systems, 2017.
Bibtex Entry:
@inproceedings{NollW17,
  author    = {Thomas Noll and
               Louis Wachtmeister},
  title     = {Analysing Cryptographically-Masked Information Flows in {MILS-AADL}
               Specifications},
  booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
               Systems},
  year      = {2017},
  crossref  = {DBLP:conf/hipeac/2017mils},
  url       = {https://doi.org/10.5281/zenodo.571173},
  doi       = {10.5281/zenodo.571173},
  timestamp = {Fri, 21 Sep 2018 12:12:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hipeac/NollW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser