Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(22100)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3700)
Fakultät für Elektrotechnik und Informationstechnik
(2076)
Fakultät für Humanwissenschaften
(2326)
Fakultät für Informatik
(3329)
Fakultät für Luft- und Raumfahrttechnik
(5389)
Fakultät für Staats- und Sozialwissenschaften
(2700)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2605)
Fakultäten (HAW)
(1753)
Forschungszentren und -initiativen
(2098)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Autoren:
Kinder, Johannes; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut
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:
10.1007/11506881_11
URL zum Inhalt:
https://doi.org/10.1007/11506881_11
Open Access ja oder nein?:
Ja / Yes
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit