Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Detecting Malicious Code by Model Checking
Herausgeber Sammlung:
Julisch, Klaus; Kruegel, Christopher
Titel Konferenzpublikation:
Detection of Intrusions and Malware, and Vulnerability Assessment
Untertitel Konferenzpublikation:
Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3548
Konferenztitel:
International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (2., 2005, Wien)
Tagungsort:
Vienna, Austria
Jahr der Konferenz:
2005
Datum Beginn der Konferenz:
07.07.2005
Datum Ende der Konferenz:
08.07.2005
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2005
Seiten von - bis:
174-187
Sprache:
Englisch
ISBN:
978-3-540-31645-9 ; 978-3-540-26613-6
DOI:
URL zum Inhalt:
Open Access ja oder nein?:
Ja / Yes
BibTeX
PDF