{"id":"https://openalex.org/W2155614940","doi":"https://doi.org/10.1109/csa.2009.5404309","title":"Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton","display_name":"Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton","publication_year":2009,"publication_date":"2009-12-01","ids":{"openalex":"https://openalex.org/W2155614940","doi":"https://doi.org/10.1109/csa.2009.5404309","mag":"2155614940"},"language":"en","primary_location":{"id":"doi:10.1109/csa.2009.5404309","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csa.2009.5404309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 2nd International Conference on Computer Science and its Applications","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005464184","display_name":"Xudong Zheng","orcid":"https://orcid.org/0000-0002-9056-2116"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xudong Zheng","raw_affiliation_strings":["School of Software, Northeast Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Northeast Normal University, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027304285","display_name":"Jinglei Ren","orcid":null},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinglei Ren","raw_affiliation_strings":["School of Software, Northeast Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Northeast Normal University, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100297441","display_name":"Xiaojuan Zheng","orcid":null},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaojuan Zheng","raw_affiliation_strings":["School of Software, Northeast Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Northeast Normal University, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080008054","display_name":"Yonglong Wei","orcid":"https://orcid.org/0000-0001-6152-7963"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yonglong Wei","raw_affiliation_strings":["School of Software, Northeast Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Northeast Normal University, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100729879","display_name":"Chen Sun","orcid":"https://orcid.org/0000-0002-8352-9094"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Sun","raw_affiliation_strings":["School of Software, Northeast Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Northeast Normal University, China","institution_ids":["https://openalex.org/I184983240"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I184983240"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24571823,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4582","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.8256203532218933},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7979714870452881},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7095590829849243},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4947201907634735},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.4757644534111023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46782225370407104},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.38635456562042236},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2661854922771454},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.21600878238677979},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.12743377685546875},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.10355228185653687}],"concepts":[{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.8256203532218933},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7979714870452881},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7095590829849243},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4947201907634735},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.4757644534111023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46782225370407104},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.38635456562042236},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2661854922771454},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.21600878238677979},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.12743377685546875},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.10355228185653687}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/csa.2009.5404309","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csa.2009.5404309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 2nd International Conference on Computer Science and its Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W24839522","https://openalex.org/W1491178396","https://openalex.org/W1512923091","https://openalex.org/W1974608873","https://openalex.org/W1983711382","https://openalex.org/W2002089154","https://openalex.org/W2034711041","https://openalex.org/W2123886726","https://openalex.org/W2126579964","https://openalex.org/W2147634649","https://openalex.org/W2164055093","https://openalex.org/W2770491639","https://openalex.org/W2913279374","https://openalex.org/W3005412289","https://openalex.org/W4234087688","https://openalex.org/W4244831445","https://openalex.org/W6601021366"],"related_works":["https://openalex.org/W2039777175","https://openalex.org/W2522490152","https://openalex.org/W1511257926","https://openalex.org/W3196258201","https://openalex.org/W3133052492","https://openalex.org/W1602383402","https://openalex.org/W2053341755","https://openalex.org/W2049492436","https://openalex.org/W1584306444","https://openalex.org/W3037972106"],"abstract_inverted_index":{"The":[0],"framework":[1],"of":[2,15,17,53,66,76,88,112],"model-carrying":[3],"code":[4,126],"(MCC)":[5],"provides":[6],"an":[7,44],"effective":[8],"and":[9,42,63,71,80,109],"practical":[10],"solution":[11],"for":[12,47],"the":[13,25,30,38,60,73,86,113],"security":[14],"execution":[16],"untrusted":[18],"mobile":[19,125],"code.":[20,56],"Our":[21],"work":[22],"significantly":[23],"improves":[24],"MCC":[26],"approach":[27],"by":[28],"introducing":[29],"more":[31,95],"precise":[32],"extended":[33,121],"pushdown":[34],"automaton":[35],"(EPDA)":[36],"as":[37],"program":[39],"behavior":[40],"model":[41,119],"developing":[43],"advanced":[45],"method":[46],"constructing":[48],"EPDA":[49,69],"through":[50],"static":[51,89],"analysis":[52,75,90],"Java":[54],"source":[55],"This":[57],"paper":[58],"shows":[59],"formal":[61],"definition":[62],"abstract":[64],"representation":[65],"our":[67],"new":[68],"model,":[70],"presents":[72],"context-sensitive":[74],"inter-method":[77],"control":[78],"flow":[79],"data":[81],"flow.":[82],"These":[83],"improvements":[84],"raise":[85],"ability":[87],"so":[91],"that":[92],"it":[93],"is":[94],"applicable":[96],"to":[97],"object-oriented":[98,114],"languages.":[99],"We":[100],"also":[101],"integratively":[102],"deal":[103],"with":[104],"exceptions,":[105],"polymorphism,":[106],"classes,":[107],"objects":[108],"other":[110],"features":[111],"language.":[115],"Index":[116],"Terms\u2014static":[117],"analysis,":[118],"generation,":[120],"push-":[122],"down":[123],"automaton,":[124],"security,":[127],"object-oriented,":[128],"context-":[129],"sensitive.":[130]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}