Conference paper Open Access

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

Schulz, Thorsten; Golatowski, Frank; Timmermann, Dirk

Security and cryptography protocols are seen by many as black-magic, largely due to their complex mathematical algorithms and entangled state-machines. This complexity has also led to numerous vulnerabilities in past years. Recent developments have simplified conformance requirements, and also introduced formal proofs to mainstream security protocols. In this work-in-progress publication we discuss, how this evolution has greatly improved the situation for critical systems, and how the architecture of MILS systems can raise the confidence for high-assurance systems.

Files (146.8 kB)
Name Size
Schulz2018in-search-for-a-simple-secure.pdf
md5:5ae51c98ad81acbd23c60c8a2849f0ad
146.8 kB Download
24
22
views
downloads
All versions This version
Views 2426
Downloads 2222
Data volume 3.2 MB3.2 MB
Unique views 2325
Unique downloads 1818

Share

Cite as