@inproceedings{cassez-fossacs-2010,
  author    = {Franck Cassez and
               Ron van der Meyden and
               Chenyi Zhang},
               editor    = {C.{-}H. Luke Ong},
  title     = {The Complexity of Synchronous Notions of Information Flow Security},
  booktitle = {Foundations of Software Science and Computational Structures, 13th
               International Conference, {FOSSACS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  pages     = {282--296},
  year      = {2010},
  volume    = {6014},
  urlpaper = {papers/fossacs-2010.pdf},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  doi       = {10.1007/978-3-642-12032-9_20},
      keywords = {security, interference},
      Type = {B - International Conferences},

  abstract = {The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow 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.}
}

{"_id":"ozRm3wAYFyMGKBi4s","bibbaseid":"cassez-vandermeyden-zhang-thecomplexityofsynchronousnotionsofinformationflowsecurity-2010","author_short":["Cassez, F.","van der Meyden, R.","Zhang, C."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Ron"],"propositions":["van","der"],"lastnames":["Meyden"],"suffixes":[]},{"firstnames":["Chenyi"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"editor":[{"firstnames":["C.-H.","Luke"],"propositions":[],"lastnames":["Ong"],"suffixes":[]}],"title":"The Complexity of Synchronous Notions of Information Flow Security","booktitle":"Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings","pages":"282–296","year":"2010","volume":"6014","urlpaper":"papers/fossacs-2010.pdf","publisher":"Springer","series":"Lecture Notes in Computer Science","doi":"10.1007/978-3-642-12032-9_20","keywords":"security, interference","abstract":"The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow 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.","bibtex":"@inproceedings{cassez-fossacs-2010,\n author = {Franck Cassez and\n Ron van der Meyden and\n Chenyi Zhang},\n editor = {C.{-}H. Luke Ong},\n title = {The Complexity of Synchronous Notions of Information Flow Security},\n booktitle = {Foundations of Software Science and Computational Structures, 13th\n International Conference, {FOSSACS} 2010, Held as Part of the Joint\n European Conferences on Theory and Practice of Software, {ETAPS} 2010,\n Paphos, Cyprus, March 20-28, 2010. Proceedings},\n pages = {282--296},\n year = {2010},\n volume = {6014},\n urlpaper = {papers/fossacs-2010.pdf},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n doi = {10.1007/978-3-642-12032-9_20},\n keywords = {security, interference},\n Type = {B - International Conferences},\n\n abstract = {The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow 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.}\n}\n\n","author_short":["Cassez, F.","van der Meyden, R.","Zhang, C."],"editor_short":["Ong, C. L."],"key":"cassez-fossacs-2010","id":"cassez-fossacs-2010","bibbaseid":"cassez-vandermeyden-zhang-thecomplexityofsynchronousnotionsofinformationflowsecurity-2010","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/fossacs-2010.pdf"},"keyword":["security","interference"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["security","interference"],"search_terms":["complexity","synchronous","notions","information","flow","security","cassez","van der meyden","zhang"],"title":"The Complexity of Synchronous Notions of Information Flow Security","year":2010}