The defense of computer systems from malicious software attacks, such as viruses and worms, is a key aspect of computer security. The analogy between malicious software and biological infections suggested us to use the k-calculus, a formalism originally developed for the analysis of biological systems, for the formalization and analysis of malicious software. By modeling the different actors involved in a malicious code attack in the k-calculus and by simulating their behavior, it is possible to extract important information that can drive in the choice of the defense technique to apply.
Titolo: | Hunting Distributed Malware with the k-Calculus |
Autori: | |
Data di pubblicazione: | 2011 |
Handle: | http://hdl.handle.net/11562/960524 |
ISBN: | 978-364222952-7 |
Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
camera-ready-FCT.pdf | Documento in Post-print | Accesso ristretto | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.