Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Detecting Malicious Code by Model Checking
Collection editors:
Julisch, Klaus; Kruegel, Christopher
Title of conference publication:
Detection of Intrusions and Malware, and Vulnerability Assessment
Subtitle of conference publication:
Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
3548
Conference title:
International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (2., 2005, Wien)
Venue:
Vienna, Austria
Year of conference:
2005
Date of conference beginning:
07.07.2005
Date of conference ending:
08.07.2005
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2005
Pages from - to:
174-187
Language:
Englisch
ISBN:
978-3-540-31645-9 ; 978-3-540-26613-6
DOI:
Open Access yes or no?:
Ja / Yes
BibTeX
PDF