Designing and Modeling of Covert Channels in Operating Systems

Covert channels are widely considered as a major risk of information leakage in various operating systems, such as desktop, cloud, and mobile systems. The existing works of modeling covert channels have mainly focused on using finite state machines (FSMs) and their transforms to describe the process...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on computers 2016-06, Vol.65 (6), p.1706-1719
Hauptverfasser:	Yuqi Lin, Malik, Saif U. R., Bilal, Kashif, Qiusong Yang, Yongji Wang, Khan, Samee U.
Format:	Artikel
Sprache:	eng
Schlagworte:	Analytical models Channels Computational modeling covert channels Encoding high-level Petri nets (HLPN) Mathematical model Mathematical models modeling and security Modelling Operating systems Petri nets Protocols Receivers Redundancy Risk Synchronism Synchronization
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!