Login / Signup

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