User: Guest  Login
Title:

Cif: A Static DLM Analyzer to Assure Correct Information Flow in C

Document type:
Konferenzbeitrag
Contribution type:
Vortrag / Präsentation
Author(s):
Müller, Kevin and Uhrig, Sascha and Paulitsch, Michael and Sigl, Georg
Abstract:
For safety-critical and security-critical Cyber-Physical Systems in the domains of aviation, transportation, automotive, medical applications and industrial control correct software implementation with a domain-specific level of assurance is mandatory. Particularly in the aviation domain, this demonstration demands new technologies to convince authorities of the proper implementation of avionic systems with increasing complexity. Two decades ago, Andrew Myers developed the Decentralized Label...     »
Keywords:
Security, High-Assurance, Information Flow, Decentralized Label Model
Dewey Decimal Classification:
620 Ingenieurwissenschaften
Book / Congress title:
ICSEA 2015
Congress (additional information):
Barcelona, Spain
Year:
2015
Quarter:
4. Quartal
Year / month:
2015-11
Month:
Nov
Reviewed:
ja
Language:
en
 BibTeX