On Abstract Computer Virology from a Recursion Theoretic Perspective View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2006-03

AUTHORS

G. Bonfante, M. Kaczmarek, J.-Y. Marion

ABSTRACT

We are concerned with theoretical aspects of computer viruses. For this, we suggest a new definition of viruses which is clearly based on the iteration theorem and above all on Kleene's recursion theorem. We in this study capture in a natural way previous definitions, and in particular the one of Adleman. We establish generic virus constructions and we illustrate them by various examples. Lastly, we show the results on virus detection. More... »

PAGES

45-54

References to SciGraph publications

  • 2005. Toward an Abstract Computer Virology in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2005
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s11416-005-0007-4

    DOI

    http://dx.doi.org/10.1007/s11416-005-0007-4

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1038000879


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1108", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Medical Microbiology", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/11", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Medical and Health Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "\u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy", 
              "id": "https://www.grid.ac/institutes/grid.473477.4", 
              "name": [
                "Loria - INPL, Ecole Nationale Sup\u00e9rieure des Mines de Nancy, B.P. 239, 54506, Vand\u0153uvre-l\u00e8s-Nancy C\u00e9dex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bonfante", 
            "givenName": "G.", 
            "id": "sg:person.010426674211.24", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010426674211.24"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "\u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy", 
              "id": "https://www.grid.ac/institutes/grid.473477.4", 
              "name": [
                "Loria - INPL, Ecole Nationale Sup\u00e9rieure des Mines de Nancy, B.P. 239, 54506, Vand\u0153uvre-l\u00e8s-Nancy C\u00e9dex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kaczmarek", 
            "givenName": "M.", 
            "id": "sg:person.016433156627.49", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016433156627.49"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "\u00c9cole Nationale Sup\u00e9rieure des Mines de Nancy", 
              "id": "https://www.grid.ac/institutes/grid.473477.4", 
              "name": [
                "Loria - INPL, Ecole Nationale Sup\u00e9rieure des Mines de Nancy, B.P. 239, 54506, Vand\u0153uvre-l\u00e8s-Nancy C\u00e9dex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Marion", 
            "givenName": "J.-Y.", 
            "id": "sg:person.016702671367.99", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016702671367.99"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1002/malq.19550010205", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002259044"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11560647_38", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006503793", 
              "https://doi.org/10.1007/11560647_38"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11560647_38", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006503793", 
              "https://doi.org/10.1007/11560647_38"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-4048(88)90334-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018338196"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/321386.321395", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018826104"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-4048(87)90122-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019310314"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/358198.358210", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023905422"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/cplx.20004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033861862"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-4048(89)90094-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045725507"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2964292", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049138218"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0167-4048(89)90089-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1054554120"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/41.7.444", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059479190"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/47.6.627", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059479613"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1515/9781400882007", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1096910285"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2006-03", 
        "datePublishedReg": "2006-03-01", 
        "description": "We are concerned with theoretical aspects of computer viruses. For this, we suggest a new definition of viruses which is clearly based on the iteration theorem and above all on Kleene's recursion theorem. We in this study capture in a natural way previous definitions, and in particular the one of Adleman. We establish generic virus constructions and we illustrate them by various examples. Lastly, we show the results on virus detection.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s11416-005-0007-4", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1136175", 
            "issn": [
              "2274-2042", 
              "1772-9904"
            ], 
            "name": "Journal of Computer Virology and Hacking Techniques", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3-4", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "1"
          }
        ], 
        "name": "On Abstract Computer Virology from a Recursion Theoretic Perspective", 
        "pagination": "45-54", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "b5063ba0ac7f810cfcdce05fe19ce6a63121011748a9d4e6c13287298f00d367"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s11416-005-0007-4"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1038000879"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s11416-005-0007-4", 
          "https://app.dimensions.ai/details/publication/pub.1038000879"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T12:54", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000364_0000000364/records_72865_00000000.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007%2Fs11416-005-0007-4"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s11416-005-0007-4'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s11416-005-0007-4'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11416-005-0007-4'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11416-005-0007-4'


     

    This table displays all metadata directly associated to this object as RDF triples.

    115 TRIPLES      21 PREDICATES      40 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s11416-005-0007-4 schema:about anzsrc-for:11
    2 anzsrc-for:1108
    3 schema:author N5cb7ea03fa4344e4a664c9e9d0c3a2c3
    4 schema:citation sg:pub.10.1007/11560647_38
    5 https://doi.org/10.1002/cplx.20004
    6 https://doi.org/10.1002/malq.19550010205
    7 https://doi.org/10.1016/0167-4048(87)90122-2
    8 https://doi.org/10.1016/0167-4048(88)90334-3
    9 https://doi.org/10.1016/0167-4048(89)90089-8
    10 https://doi.org/10.1016/0167-4048(89)90094-1
    11 https://doi.org/10.1093/comjnl/41.7.444
    12 https://doi.org/10.1093/comjnl/47.6.627
    13 https://doi.org/10.1145/321386.321395
    14 https://doi.org/10.1145/358198.358210
    15 https://doi.org/10.1515/9781400882007
    16 https://doi.org/10.2307/2964292
    17 schema:datePublished 2006-03
    18 schema:datePublishedReg 2006-03-01
    19 schema:description We are concerned with theoretical aspects of computer viruses. For this, we suggest a new definition of viruses which is clearly based on the iteration theorem and above all on Kleene's recursion theorem. We in this study capture in a natural way previous definitions, and in particular the one of Adleman. We establish generic virus constructions and we illustrate them by various examples. Lastly, we show the results on virus detection.
    20 schema:genre research_article
    21 schema:inLanguage en
    22 schema:isAccessibleForFree true
    23 schema:isPartOf N6f18246de6884f38992f495c42d3856b
    24 N7bd597c9cc974082bb757f8f0cbdeb0d
    25 sg:journal.1136175
    26 schema:name On Abstract Computer Virology from a Recursion Theoretic Perspective
    27 schema:pagination 45-54
    28 schema:productId N76fb094aac494ed39b019712d65ffc99
    29 Nb9ab6a5f286c4abf879b4cfdca8ddcae
    30 Nfc44acb0a35346349438edaad1c531eb
    31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038000879
    32 https://doi.org/10.1007/s11416-005-0007-4
    33 schema:sdDatePublished 2019-04-11T12:54
    34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    35 schema:sdPublisher Ncfc7ed4e886e46f5a435b4061d8e353b
    36 schema:url http://link.springer.com/10.1007%2Fs11416-005-0007-4
    37 sgo:license sg:explorer/license/
    38 sgo:sdDataset articles
    39 rdf:type schema:ScholarlyArticle
    40 N5cb7ea03fa4344e4a664c9e9d0c3a2c3 rdf:first sg:person.010426674211.24
    41 rdf:rest N7d50e9648eec4c6eaf14d19278cb8388
    42 N6f18246de6884f38992f495c42d3856b schema:issueNumber 3-4
    43 rdf:type schema:PublicationIssue
    44 N76fb094aac494ed39b019712d65ffc99 schema:name readcube_id
    45 schema:value b5063ba0ac7f810cfcdce05fe19ce6a63121011748a9d4e6c13287298f00d367
    46 rdf:type schema:PropertyValue
    47 N7bd597c9cc974082bb757f8f0cbdeb0d schema:volumeNumber 1
    48 rdf:type schema:PublicationVolume
    49 N7d50e9648eec4c6eaf14d19278cb8388 rdf:first sg:person.016433156627.49
    50 rdf:rest N82d1eee4e958474ea634da4284e3e356
    51 N82d1eee4e958474ea634da4284e3e356 rdf:first sg:person.016702671367.99
    52 rdf:rest rdf:nil
    53 Nb9ab6a5f286c4abf879b4cfdca8ddcae schema:name doi
    54 schema:value 10.1007/s11416-005-0007-4
    55 rdf:type schema:PropertyValue
    56 Ncfc7ed4e886e46f5a435b4061d8e353b schema:name Springer Nature - SN SciGraph project
    57 rdf:type schema:Organization
    58 Nfc44acb0a35346349438edaad1c531eb schema:name dimensions_id
    59 schema:value pub.1038000879
    60 rdf:type schema:PropertyValue
    61 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
    62 schema:name Medical and Health Sciences
    63 rdf:type schema:DefinedTerm
    64 anzsrc-for:1108 schema:inDefinedTermSet anzsrc-for:
    65 schema:name Medical Microbiology
    66 rdf:type schema:DefinedTerm
    67 sg:journal.1136175 schema:issn 1772-9904
    68 2274-2042
    69 schema:name Journal of Computer Virology and Hacking Techniques
    70 rdf:type schema:Periodical
    71 sg:person.010426674211.24 schema:affiliation https://www.grid.ac/institutes/grid.473477.4
    72 schema:familyName Bonfante
    73 schema:givenName G.
    74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010426674211.24
    75 rdf:type schema:Person
    76 sg:person.016433156627.49 schema:affiliation https://www.grid.ac/institutes/grid.473477.4
    77 schema:familyName Kaczmarek
    78 schema:givenName M.
    79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016433156627.49
    80 rdf:type schema:Person
    81 sg:person.016702671367.99 schema:affiliation https://www.grid.ac/institutes/grid.473477.4
    82 schema:familyName Marion
    83 schema:givenName J.-Y.
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016702671367.99
    85 rdf:type schema:Person
    86 sg:pub.10.1007/11560647_38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006503793
    87 https://doi.org/10.1007/11560647_38
    88 rdf:type schema:CreativeWork
    89 https://doi.org/10.1002/cplx.20004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033861862
    90 rdf:type schema:CreativeWork
    91 https://doi.org/10.1002/malq.19550010205 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002259044
    92 rdf:type schema:CreativeWork
    93 https://doi.org/10.1016/0167-4048(87)90122-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019310314
    94 rdf:type schema:CreativeWork
    95 https://doi.org/10.1016/0167-4048(88)90334-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018338196
    96 rdf:type schema:CreativeWork
    97 https://doi.org/10.1016/0167-4048(89)90089-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1054554120
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1016/0167-4048(89)90094-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045725507
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1093/comjnl/41.7.444 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059479190
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1093/comjnl/47.6.627 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059479613
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1145/321386.321395 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018826104
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1145/358198.358210 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023905422
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1515/9781400882007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1096910285
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.2307/2964292 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049138218
    112 rdf:type schema:CreativeWork
    113 https://www.grid.ac/institutes/grid.473477.4 schema:alternateName École Nationale Supérieure des Mines de Nancy
    114 schema:name Loria - INPL, Ecole Nationale Supérieure des Mines de Nancy, B.P. 239, 54506, Vandœuvre-lès-Nancy Cédex, France
    115 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...