A Semântica de Ações de Vírus de Computador

  • Lin Tse Min UFPE
  • Silvio Lemos Meira UFPE

Resumo


A Semântica de Ações é uma forma de Semântica Denotacional que tem como base o método algébrico para especificar Tipos Abstratos de Dados, desenvolvida com a finalidade de tornar as descrições formais mais compreensíveis e portanto, mais suscetíveis à utilização prática. Os vírus de computador surgiram na década de 80 e desde então, têm infligido perdas a milhões de usuários em todo o mundo. Neste trabalho é apresentada uma semântica formal de uma das mais disseminadas classes de vírus de computador, Sexta-feira 13.

Referências

J. A. Bergsten, J. Hering, P. Klint "Algebraic Specification", Addison Wesley, 1989.

R. Burstall, J. Goguen; "Pptting: Thereories Together to Make Specifications", Proc. Fifth Int'l Joint Conf. Artificial Intelligence, Cambridge, Mass, 1977.

T. Fainberg: "The Night the Networks Failed", New Scientist, 38-42, March 4, 1989.

J.A. Goguen, J.W. Thateher, E.G. Wagner: "An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types", Current Trends in Programming Methodology, vol. IV, 80-149, Prentice-Hall, 1978.

J.A. Goguen: "Parameterized Programming", IEEE Transactions on Software Engineering, vol. 5, no SE-10, September 1984.

R.M. Greenberg: "Know thy Viral Enemy", Byte, 275-284, June 1989.

I. Guessarian: "Algebraic Semantics", Lecture Notes in Computer Science vol. 99, springer Verlag, 1982.

C.A. Gunter, P.D. Mosses, D.S. Scott: "Semantic Domains and Denotational Semantics", MS-CIS-89-16 Logic and Computation 04, University of Pennsilvanya, February 1989.

C.A.R. Hoare: "Procedures and Parameters, an Axiomatic Approach", Lecture Notes in Methematics, no. 188, 102-116, Springer-Verlag, 1971.

IBM - International Business Machines Corporation: "Disk Operating System Version 3.30", Technical Reference/Upgrade, 1987.

Intel Corporation: "The 8086 Family - User's Manual", 1979.

Lin T.M., S.r.L. Meira: "A Semântica de Vírus de Computador", Relatório Técnico, DI-UFPE, 1992.

McAfee Associates: "Virus Characteristics List V93", Software Documentation, 1992.

M. Minasi: "Computer Viruses from A to Z", COMPUTE, 45-49, COMPUTE Publications International Ltd, October, 1991.

F. Mismetti, C. Palludetti, N.S. Mismetti: "Vírus - Guia de Referência Técnica", McGraw-Hill, 1990.

P.D. Mosses: "The Modularity of Action Semantics", Internal Report - DAIMI IR - 75 Aarhus University, Dinamarca, 1988.

P.D. Mosses: "A Practical Introduction to Denotational Semantics", State of the Art Seminar on Formal Description of Programming Concepts, Rio de Janeiro, Brasil, 1989.

P.D. Mosses: "Unified Algebras and Action Semantics", Proc. Symposium on Theoretical Aspects of Computer Science. 1989.

P.D. Mosses: "Action Semantics", Draft, Version 7 Aarhus University, Dinamarca, 1989.

M.A. Musicante, S.R.L., Meira, R.D. Lins: "A Semêntica de Ações de GM-C", Anais X Simpósio da SBC, 1990.

G.D. Plotkin: "A Structural Approach to Operational Semantics", Internal Report - DAIMI FN-19, Aarhus University, Denmark, Sep 1981.

N.J. Rubenking: "Infection Protection", PC Magazine, 193-227, April 25, 1989.

P. Ruher: "Virus Killers", Computer Monthly, vol. 3, no. 9, 99-100, Volcan Publications Inc. 1991.

D.A. Schmidt: "Denotational Semantics A Methodology for Language Development", Allyn and Bacon, 1986.

D.S. Scott "Domains for Denotational Semantics", Lecture Notes Computer Science vol 140, 577-613, Springer, 1982.

J. Seymor, J. Matzkin: "Confronting the Growing: Threat of Harmful Computer Software Viruses", PC Magazine, 13-36, June 28, 1988.

J.E. Stoy: "Foundations of Denotational Semantics", Abstract Software Specifications - hebenhara School Press., d. Bjorner, 1979.

D.A. Watt: "Programming Language Syntax and Semantics", Draft University of Glasgow, Dec. 11, 1990.

R.F. Weber: "Virus of Computer", Revista de Informática Teórica Aplicada, vol. 1, no. 1, 1989.
Publicado
04/11/1992
MIN, Lin Tse; MEIRA, Silvio Lemos. A Semântica de Ações de Vírus de Computador. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1992 . p. 171-186. DOI: https://doi.org/10.5753/sbes.1992.25182.