Verification of the security of a secure network component

The author formally proves using a mechanical verifier that a security multiplexer for a network is secure and has no timing channels. While this multiplexer is only a small piece of a system, it handles multiple security levels and contains a process and two procedures that interact with other part...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Schneider, E.A.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Contracts Delay effects Ethernet networks Information security Multilevel systems Multiplexing Power system security Registers Signal processing Timing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!