A dynamic information flow model of secure systems

Authors:
Jianjun Shen;Sihan Qing
Affiliations:
Graduate University of Chinese Academy of Sciences;Graduate University of Chinese Academy of Sciences
Venue:
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Year:
2007

Citing 1
Cited 1

Optimization of Covert Channel Identification

SISW '05 Proceedings of the Third IEEE International Security in Storage Workshop

UVHM: model checking based formal analysis scheme for hypervisors

ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We characterize the information flow features of an information system in a state machine model, which emphasizes on the subject properties of information flows. We ague that the legality of a flow mainly depends on the subjects exploit it rather than the variables it passes through. Within the model, security policies and access control are studied in terms of information flow. We also discuss information flow security analysis. The motivation of this work comes from our experience in covert channel analysis.