The complexity of synchronous notions of information flow security

Cassez, Franck, van der Meyden, Ron and Zhang, Chenyi (2010). The complexity of synchronous notions of information flow security. In: Foundations of Software Science and Computational Structures, Proceedings. 13th International Conference on Foundations of Software Science and Computational Structures, Paphos, Cyprus, (282-296). 20 - 28 March 2010. doi:10.1007/978-3-642-12032-9_20


Author Cassez, Franck
van der Meyden, Ron
Zhang, Chenyi
Title of paper The complexity of synchronous notions of information flow security
Conference name 13th International Conference on Foundations of Software Science and Computational Structures
Conference location Paphos, Cyprus
Conference dates 20 - 28 March 2010
Proceedings title Foundations of Software Science and Computational Structures, Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2010
Sub-type Fully published paper
DOI 10.1007/978-3-642-12032-9_20
ISBN 9783642120312
ISSN 0302-9743
1611-3349
Volume 6014
Start page 282
End page 296
Total pages 15
Language eng
Abstract/Summary The paper considers the complexity of verifying that a nite state system satises a number of denitions of information ow security. The systems model considered is one in which agents operate synchronously with awareness of the global clock. This enables timing based attacks to be captured, whereas previous work on this topic has dealt primarily with asynchronous systems. Versions of the notions of nondeducibility on inputs, nondeducibility on strategies, and an unwinding based notion are formulated for this model. All three notions are shown to be decidable, and their computational complexity is characterised.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 3 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 16 Mar 2012, 23:27:57 EST by Chenyi Zhang on behalf of School of Information Technol and Elec Engineering