• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications.

Thomas NollLouis Wachtmeister
Published in: MILS (2017)
Keyphrases
  • information flows
  • information flow
  • information flow control
  • emergency response
  • test cases
  • artificial intelligence
  • team members
  • social network analysis
  • formal specification
  • data mining
  • expert systems
  • data sharing