↓ Skip to main content

Detection of Intrusions and Malware, and Vulnerability Assessment

Overview of attention for book
Attention for Chapter 11: Detecting Malicious Code by Model Checking
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
91 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
Detecting Malicious Code by Model Checking
Chapter number 11
Book title
Detection of Intrusions and Malware, and Vulnerability Assessment
Published by
Springer, Berlin, Heidelberg, July 2005
DOI 10.1007/11506881_11
Book ISBNs
978-3-54-026613-6, 978-3-54-031645-9
Authors

Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Kinder, Johannes, Katzenbeisser, Stefan, Schallhart, Christian, Veith, Helmut

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Colombia 1 1%
Germany 1 1%
Malaysia 1 1%
Czechia 1 1%
Singapore 1 1%
Spain 1 1%
Japan 1 1%
United States 1 1%
Iraq 1 1%
Other 0 0%
Unknown 82 90%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 29 32%
Student > Master 20 22%
Researcher 9 10%
Student > Bachelor 6 7%
Professor 3 3%
Other 13 14%
Unknown 11 12%
Readers by discipline Count As %
Computer Science 68 75%
Engineering 6 7%
Arts and Humanities 1 1%
Psychology 1 1%
Philosophy 1 1%
Other 0 0%
Unknown 14 15%