Lattice-Based Information Flow Control-by-Construction for Security-by-Design.

Tobias Runge Alexander Knüppel Thomas Thüm Ina Schaefer

Published in: FormaliSE@ICSE (2020)

Keyphrases

information flow control
building blocks
computer aided
data sets
e learning
design decisions
low cost
access control
design process
information security
engineering design