In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications.

Thorsten Schulz Frank Golatowski Dirk Timmermann

Published in: MILS@DSN (2018)

Keyphrases

high assurance
safety critical
fault tolerant
operating system
relational databases
databases
machine learning
multi agent systems
expert systems
open source
software systems