Ontology type: schema:ScholarlyArticle Open Access: True
2012-04-11
AUTHORSDomagoj Babić, Daniel Reynaud, Dawn Song
ABSTRACTWe explore how formal methods and tools of the verification trade could be used for malware detection and analysis. In particular, we propose a new approach to learning and generalizing from observed malware behaviors based on tree automata inference. Our approach infers k-testable tree automata from system call dataflow dependency graphs. We show how inferred automata can be used for malware recognition and classification. More... »
PAGES107-128
http://scigraph.springernature.com/pub.10.1007/s10703-012-0149-1
DOIhttp://dx.doi.org/10.1007/s10703-012-0149-1
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1048771704
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/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Computer Science Division, University of California, 94720-1776, Berkeley, CA, USA",
"id": "http://www.grid.ac/institutes/grid.47840.3f",
"name": [
"Computer Science Division, University of California, 94720-1776, Berkeley, CA, USA"
],
"type": "Organization"
},
"familyName": "Babi\u0107",
"givenName": "Domagoj",
"id": "sg:person.013233315515.57",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013233315515.57"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Computer Science Division, University of California, 94720-1776, Berkeley, CA, USA",
"id": "http://www.grid.ac/institutes/grid.47840.3f",
"name": [
"Computer Science Division, University of California, 94720-1776, Berkeley, CA, USA"
],
"type": "Organization"
},
"familyName": "Reynaud",
"givenName": "Daniel",
"id": "sg:person.012604260402.56",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012604260402.56"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Computer Science Division, University of California, 94720-1776, Berkeley, CA, USA",
"id": "http://www.grid.ac/institutes/grid.47840.3f",
"name": [
"Computer Science Division, University of California, 94720-1776, Berkeley, CA, USA"
],
"type": "Organization"
},
"familyName": "Song",
"givenName": "Dawn",
"id": "sg:person.01143152610.86",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01143152610.86"
],
"type": "Person"
}
],
"citation": [
{
"id": "sg:pub.10.1007/978-3-642-22110-1_10",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1038042348",
"https://doi.org/10.1007/978-3-642-22110-1_10"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11506881_11",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1011500773",
"https://doi.org/10.1007/11506881_11"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-75867-9_63",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043402629",
"https://doi.org/10.1007/978-3-540-75867-9_63"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-0-387-68768-1_4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035754722",
"https://doi.org/10.1007/978-0-387-68768-1_4"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s11416-008-0102-4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1025528396",
"https://doi.org/10.1007/s11416-008-0102-4"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-1-4612-0171-7",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1034425125",
"https://doi.org/10.1007/978-1-4612-0171-7"
],
"type": "CreativeWork"
}
],
"datePublished": "2012-04-11",
"datePublishedReg": "2012-04-11",
"description": "We explore how formal methods and tools of the verification trade could be used for malware detection and analysis. In particular, we propose a new approach to learning and generalizing from observed malware behaviors based on tree automata inference. Our approach infers k-testable tree automata from system call dataflow dependency graphs. We show how inferred automata can be used for malware recognition and classification.",
"genre": "article",
"id": "sg:pub.10.1007/s10703-012-0149-1",
"inLanguage": "en",
"isAccessibleForFree": true,
"isPartOf": [
{
"id": "sg:journal.1052628",
"issn": [
"0925-9856",
"1572-8102"
],
"name": "Formal Methods in System Design",
"publisher": "Springer Nature",
"type": "Periodical"
},
{
"issueNumber": "1",
"type": "PublicationIssue"
},
{
"type": "PublicationVolume",
"volumeNumber": "41"
}
],
"keywords": [
"malicious software behaviors",
"software behavior",
"malware detection",
"malware recognition",
"malware behavior",
"formal methods",
"inferred automata",
"dependency graph",
"tree automata",
"automata",
"new approach",
"inference",
"graph",
"classification",
"recognition",
"tool",
"detection",
"method",
"behavior",
"trade",
"analysis",
"approach"
],
"name": "Recognizing malicious software behaviors with tree automata inference",
"pagination": "107-128",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1048771704"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/s10703-012-0149-1"
]
}
],
"sameAs": [
"https://doi.org/10.1007/s10703-012-0149-1",
"https://app.dimensions.ai/details/publication/pub.1048771704"
],
"sdDataset": "articles",
"sdDatePublished": "2022-05-10T10:04",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/article/article_575.jsonl",
"type": "ScholarlyArticle",
"url": "https://doi.org/10.1007/s10703-012-0149-1"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
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/s10703-012-0149-1'
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/s10703-012-0149-1'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10703-012-0149-1'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10703-012-0149-1'
This table displays all metadata directly associated to this object as RDF triples.
118 TRIPLES
22 PREDICATES
53 URIs
39 LITERALS
6 BLANK NODES