Szczegóły publikacji
Opis bibliograficzny
Formal specification of malware models in the form of Colored Petri nets / Bartosz Jasiul, Marcin SZPYRKA, Joanna Śliwa // W: Computer Science and its Applications : ubiquitous information technologies : [6th FTRA international conference (CSA 2014) : Guam, USA, December 17–19, 2014] / eds. James J. (Jong Hyuk) Park [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2015. — (Lecture Notes in Electrical Engineering ; ISSN 1876-1100 ; 330). — ISBN: 978-3-662-45401-5; e-ISBN: 978-3-662-45402-2. — S. 475–482. — Abstr.
Autorzy (3)
- Jasiul Bartosz
- AGHSzpyrka Marcin
- Śliwa Joanna
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 87136 |
|---|---|
| Data dodania do BaDAP | 2015-02-18 |
| DOI | 10.1007/978-3-662-45402-2_71 |
| Rok publikacji | 2015 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Konferencja | 6th FTRA International Conference on Computer Science and its Applications |
| Czasopismo/seria | Lecture Notes in Electrical Engineering |
Abstract
We propose a formal modeling method of malicious software that support its detection and countermeasure. In order to detect malware there is a need to posses either digital signatures or behavioral models. As the obfuscation techniques makes the malware almost undetectable the classic signature-based antivirus tools must be supported by behavioral analysis. A malware hunting tool we developed bases on the formal models in the form of Colored Petri nets and the attitude to modeling is presented in this article.
