↓ Skip to main content

Theory of Security and Applications

Overview of attention for book
Attention for Chapter 9: Model-Checking Secure Information Flow for Multi-threaded Programs
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
8 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Model-Checking Secure Information Flow for Multi-threaded Programs
Chapter number 9
Book title
Theory of Security and Applications
Published by
Springer, Berlin, Heidelberg, March 2011
DOI 10.1007/978-3-642-27375-9_9
Book ISBNs
978-3-64-227374-2, 978-3-64-227375-9
Authors

Marieke Huisman, Henri-Charles Blondeel, Huisman, Marieke, Blondeel, Henri-Charles

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 38%
Other 1 13%
Student > Master 1 13%
Unknown 3 38%
Readers by discipline Count As %
Computer Science 5 63%
Unknown 3 38%