IFIP
2010
Springer
13 years 7 months ago
2010
Springer
We introduce and give formal definitions of attack
VIROLOGY
2010
13 years 11 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...