Monitoring temporal information flow

Dimitrova, R., Finkbeiner, B. and Rabe, M.N. (2012) Monitoring temporal information flow. In: Margaria, T. and Steffen, B., (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2012, 15-18 Oct 2012, Heraklion, Crete, Greece. Lecture Notes in Computer Science, 1 (7609). Springer , pp. 342-357. ISBN 9783642340253



  • Dimitrova, R.
  • Finkbeiner, B.
  • Rabe, M.N.
Copyright, Publisher and Additional Information: © 2012 Springer-Verlag. This is an author-produced version of a paper subsequently published in ISoLA 2012. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Model Check; Transition System; Atomic Proposition; Secrecy Requirement; Open Research Question
  • Published: 15 October 2012
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2020 13:40
Last Modified: 11 Feb 2020 08:59
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:

Share / Export