132
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We introduce and give formal definitions of attack
122
click to vote
VIROLOGY
2010
15 years 1 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...