-
1
-
-
33746896615
-
Open problems in virology
-
Filiol, E., Helenius, M., Zanero, S.: Open problems in virology. J. Comput. Virol. 1(3-4) (2006).
-
(2006)
J. Comput. Virol
, vol.1
, Issue.3-4
-
-
Filiol, E.1
Helenius, M.2
Zanero, S.3
-
6
-
-
77955092061
-
-
European Expert Group for IT-Security
-
European Expert Group for IT-Security. http://www. eicar. org/.
-
-
-
-
8
-
-
77955088182
-
-
The Information Warfare Site
-
The Information Warfare Site. http://www. iwar. org. uk/.
-
-
-
-
16
-
-
0023294949
-
Computer viruses: Theory and experiments
-
Cohen, F.: Computer viruses: Theory and experiments. J. Comput. Secur. 6 (1987).
-
(1987)
J. Comput. Secur.
, vol.6
-
-
Cohen, F.1
-
17
-
-
33746075250
-
There are no safe virus tests
-
Dowling, W. F.: There are no safe virus tests. Am. Math. Mon. 96(9) (1989).
-
(1989)
Am. Math. Mon.
, vol.96
, Issue.9
-
-
Dowling, W.F.1
-
18
-
-
48349134267
-
Behavioral detection of malware: From a survey towards an established taxonomy
-
Jacob, G., Debar, H., Filiol, E.: Behavioral detection of malware: from a survey towards an established taxonomy. J. Comput. Virol. 4(3) (2008).
-
(2008)
J. Comput. Virol.
, vol.4
, Issue.3
-
-
Jacob, G.1
Debar, H.2
Filiol, E.3
-
20
-
-
70949092698
-
On modal μ-calculus and non-well-founded set theory
-
Alberucci, L., Salipante, V.: On modal μ-calculus and non-well-founded set theory. J. Philos. Log. 33(4) (2004).
-
(2004)
J. Philos. Log.
, vol.33
, Issue.4
-
-
Alberucci, L.1
Salipante, V.2
-
21
-
-
33746879580
-
On abstract computer virology from a recursion theoretic perspective
-
Bonfante, G., Kaczmarek, M., Marion, J.-Y.: On abstract computer virology from a recursion theoretic perspective. J. Comput. Virol. 1(3-4) (2006).
-
(2006)
J. Comput. Virol.
, vol.1
, Issue.3-4
-
-
Bonfante, G.1
Kaczmarek, M.2
Marion, J.-Y.3
-
23
-
-
54849422083
-
Formal affordance-based models of computer virus reproduction
-
Webster, M., Malcolm, G.: Formal affordance-based models of computer virus reproduction. J. Comput. Virol. 4(4) (2008).
-
(2008)
J. Comput. Virol.
, vol.4
, Issue.4
-
-
Webster, M.1
Malcolm, G.2
-
24
-
-
12244311689
-
-
Weaver, N., Paxson, V., Staniford, S., Cunningham, R.: A taxonomy of computer worms. In Proceedings of the ACM workshop on Rapid malcode (2003).
-
-
-
-
26
-
-
0346969678
-
An efficient algorithm for computing bisimulation equivalence
-
Dovier, A., Piazza, C., Policriti, A.: An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3) (2004).
-
(2004)
Theor. Comput. Sci.
, vol.311
, Issue.1-3
-
-
Dovier, A.1
Piazza, C.2
Policriti, A.3
-
28
-
-
69549091997
-
On the trail of the Conficker worm
-
Lawson, G.: On the trail of the Conficker worm. Computer (2009).
-
(2009)
Computer
-
-
Lawson, G.1
-
29
-
-
4243189286
-
Counterexample-guided abstraction refinement for symbolic model checking
-
Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5) (2003).
-
(2003)
J. ACM
, vol.50
, Issue.5
-
-
Clarke, E.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
30
-
-
70349997951
-
Detection of metamorphic and virtualization-based malware using algebraic specification
-
Webster, M., Malcolm, G.: Detection of metamorphic and virtualization-based malware using algebraic specification. J. Comput. Virol. 5(3) (2009).
-
(2009)
J. Comput. Virol.
, vol.5
, Issue.3
-
-
Webster, M.1
Malcolm, G.2
-
31
-
-
70349990723
-
Architecture of a morphological malware detector
-
Bonfante, G., Kaczmarek, M., Marion, J.-Y.: Architecture of a morphological malware detector. J. Comput. Virol. 5(3) (2009).
-
(2009)
J. Comput. Virol.
, vol.5
, Issue.3
-
-
Bonfante, G.1
Kaczmarek, M.2
Marion, J.-Y.3
-
32
-
-
51849164885
-
A semantics-based approach to malware detection
-
Dalla Preda, M., Christodorescu, M., Jha, S.: A semantics-based approach to malware detection. ACM Transactions on Programming Languages and Systems 30(5) (2008).
-
(2008)
ACM Transactions on Programming Languages and Systems
, vol.30
, Issue.5
-
-
Dalla Preda, M.1
Christodorescu, M.2
Jha, S.3
-
33
-
-
36348939337
-
-
P. Blackburn, J. van Benthem, and F. Wolter (Eds.), Amsterdam: Elsevier
-
Blackburn, P., van Benthem, J., Wolter, F.: (eds.) Handbook of Modal Logic, Volume 3 of Studies in Logic and Practical Reasoning. Elsevier, Amsterdam (2007).
-
(2007)
Handbook of Modal Logic, Volume 3 of Studies in Logic and Practical Reasoning
-
-
|