{"id":"https://openalex.org/W1521074944","doi":null,"title":"Proof linking: a modular verification architecture for mobile code systems","display_name":"Proof linking: a modular verification architecture for mobile code systems","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W1521074944","mag":"1521074944"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.59.6611","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://fas.sfu.ca/pub/cs/TH/2003/PhilipWLFongPhD.ps.gz","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5101823697","display_name":"Philip W. L. Fong","orcid":"https://orcid.org/0000-0003-3525-8194","observed_orcids":["https://orcid.org/0000-0003-3525-8194","https://orcid.org/0000-0002-7974-3653"]},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Philip Fong","raw_affiliation_strings":["Simon Fraser University CANADA"],"raw_orcid":"https://orcid.org/0000-0003-3525-8194","affiliations":[{"raw_affiliation_string":"Simon Fraser University CANADA","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5101823697"],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":null,"apc_paid":null,"fwci":2.2865,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89301249,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8984000086784363,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.8984000086784363,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.1006999984383583,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/java-virtual-machine","display_name":"Java Virtual Machine","score":0.8180000185966492},{"id":"https://openalex.org/keywords/dynamic-linking","display_name":"dynamic linking","score":0.8610000014305115},{"id":"https://openalex.org/keywords/mobile-code-security","display_name":"mobile code security","score":0.6570000052452087},{"id":"https://openalex.org/keywords/proof-obligations","display_name":"proof obligations","score":0.9580000042915344},{"id":"https://openalex.org/keywords/distributed-verification","display_name":"distributed verification","score":0.7919999957084656}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8341509103775024},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.602286159992218},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5754700899124146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5436063408851624},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.4517195224761963},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.41817474365234375},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.3434728980064392},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.27301132678985596}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.59.6611","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://fas.sfu.ca/pub/cs/TH/2003/PhilipWLFongPhD.ps.gz","raw_type":"text"},{"id":"mag:1521074944","doi":null,"is_oa":false,"landing_page_url":"http://pages.cpsc.ucalgary.ca/~pwlfong/Pub/dissertation.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":209,"referenced_works":["https://openalex.org/W10242621","https://openalex.org/W50542560","https://openalex.org/W58308675","https://openalex.org/W106406016","https://openalex.org/W141642871","https://openalex.org/W150412037","https://openalex.org/W160001453","https://openalex.org/W174163985","https://openalex.org/W194677851","https://openalex.org/W200765594","https://openalex.org/W258705166","https://openalex.org/W1483827732","https://openalex.org/W1483872283","https://openalex.org/W1484100760","https://openalex.org/W1493587720","https://openalex.org/W1496840675","https://openalex.org/W1500460345","https://openalex.org/W1504054062","https://openalex.org/W1510940979","https://openalex.org/W1514258760","https://openalex.org/W1518533182","https://openalex.org/W1518618583","https://openalex.org/W1527793496","https://openalex.org/W1530190941","https://openalex.org/W1532887546","https://openalex.org/W1533109738","https://openalex.org/W1536839812","https://openalex.org/W1540426477","https://openalex.org/W1541430579","https://openalex.org/W1541434994","https://openalex.org/W1549856788","https://openalex.org/W1553894716","https://openalex.org/W1555768232","https://openalex.org/W1555915743","https://openalex.org/W1558877209","https://openalex.org/W1559155956","https://openalex.org/W1565113942","https://openalex.org/W1566904115","https://openalex.org/W1572099551","https://openalex.org/W1575741533","https://openalex.org/W1577352907","https://openalex.org/W1585665690","https://openalex.org/W1585697813","https://openalex.org/W1585795788","https://openalex.org/W1586569732","https://openalex.org/W1588567874","https://openalex.org/W1591098212","https://openalex.org/W1591349227","https://openalex.org/W1593405126","https://openalex.org/W1599126799","https://openalex.org/W1601653334","https://openalex.org/W1602897534","https://openalex.org/W1607349409","https://openalex.org/W1610570299","https://openalex.org/W1644882639","https://openalex.org/W1660562555","https://openalex.org/W1664998284","https://openalex.org/W1676506149","https://openalex.org/W1769535108","https://openalex.org/W1831687264","https://openalex.org/W1831986252","https://openalex.org/W1882297107","https://openalex.org/W1954680538","https://openalex.org/W1963569294","https://openalex.org/W1963627088","https://openalex.org/W1966130668","https://openalex.org/W1972107637","https://openalex.org/W1972420889","https://openalex.org/W1973842178","https://openalex.org/W1975700001","https://openalex.org/W1976394633","https://openalex.org/W1976931398","https://openalex.org/W1977509992","https://openalex.org/W1977764760","https://openalex.org/W1984478483","https://openalex.org/W1987339920","https://openalex.org/W1988225399","https://openalex.org/W1993941352","https://openalex.org/W1994847786","https://openalex.org/W1995912006","https://openalex.org/W1996469056","https://openalex.org/W2000050212","https://openalex.org/W2005359691","https://openalex.org/W2006611045","https://openalex.org/W2006943537","https://openalex.org/W2009417104","https://openalex.org/W2011010004","https://openalex.org/W2011435523","https://openalex.org/W2016696108","https://openalex.org/W2020008086","https://openalex.org/W2021055892","https://openalex.org/W2021890516","https://openalex.org/W2025672027","https://openalex.org/W2028327857","https://openalex.org/W2031833469","https://openalex.org/W2033065121","https://openalex.org/W2034101145","https://openalex.org/W2034114053","https://openalex.org/W2034711041","https://openalex.org/W2034852949","https://openalex.org/W2036910349","https://openalex.org/W2042108786","https://openalex.org/W2045903006","https://openalex.org/W2049217529","https://openalex.org/W2049962807","https://openalex.org/W2049984112","https://openalex.org/W2051632385","https://openalex.org/W2051871492","https://openalex.org/W2052592404","https://openalex.org/W2053152889","https://openalex.org/W2057108693","https://openalex.org/W2057503672","https://openalex.org/W2060031515","https://openalex.org/W2060189343","https://openalex.org/W2066181430","https://openalex.org/W2068341689","https://openalex.org/W2069107692","https://openalex.org/W2073407646","https://openalex.org/W2077288840","https://openalex.org/W2079029390","https://openalex.org/W2080696000","https://openalex.org/W2081388374","https://openalex.org/W2083469471","https://openalex.org/W2083803628","https://openalex.org/W2087155060","https://openalex.org/W2089674328","https://openalex.org/W2092889242","https://openalex.org/W2093397547","https://openalex.org/W2094873755","https://openalex.org/W2094958132","https://openalex.org/W2095443555","https://openalex.org/W2095629885","https://openalex.org/W2096045687","https://openalex.org/W2096154177","https://openalex.org/W2096213702","https://openalex.org/W2096228713","https://openalex.org/W2096867800","https://openalex.org/W2103957752","https://openalex.org/W2107082099","https://openalex.org/W2109387928","https://openalex.org/W2109539443","https://openalex.org/W2112100155","https://openalex.org/W2112214363","https://openalex.org/W2113226178","https://openalex.org/W2116647386","https://openalex.org/W2120284965","https://openalex.org/W2121655131","https://openalex.org/W2122049982","https://openalex.org/W2122960384","https://openalex.org/W2125186042","https://openalex.org/W2129278597","https://openalex.org/W2131752612","https://openalex.org/W2132581831","https://openalex.org/W2133254848","https://openalex.org/W2133718097","https://openalex.org/W2134072717","https://openalex.org/W2134342348","https://openalex.org/W2135785452","https://openalex.org/W2135988257","https://openalex.org/W2136839747","https://openalex.org/W2137417304","https://openalex.org/W2137689716","https://openalex.org/W2138816337","https://openalex.org/W2140350754","https://openalex.org/W2140551865","https://openalex.org/W2141988808","https://openalex.org/W2142473753","https://openalex.org/W2143238865","https://openalex.org/W2143265472","https://openalex.org/W2143560107","https://openalex.org/W2144344516","https://openalex.org/W2144977275","https://openalex.org/W2146934772","https://openalex.org/W2148127931","https://openalex.org/W2150174204","https://openalex.org/W2150769115","https://openalex.org/W2151480972","https://openalex.org/W2151499461","https://openalex.org/W2151961331","https://openalex.org/W2152179604","https://openalex.org/W2153239228","https://openalex.org/W2154220454","https://openalex.org/W2155327976","https://openalex.org/W2155814128","https://openalex.org/W2156268601","https://openalex.org/W2156370517","https://openalex.org/W2156428492","https://openalex.org/W2156456150","https://openalex.org/W2159477904","https://openalex.org/W2159507384","https://openalex.org/W2159890891","https://openalex.org/W2160888386","https://openalex.org/W2162022335","https://openalex.org/W2164070771","https://openalex.org/W2168753065","https://openalex.org/W2171142397","https://openalex.org/W2202040224","https://openalex.org/W2296073022","https://openalex.org/W2397784562","https://openalex.org/W2402789968","https://openalex.org/W2466959312","https://openalex.org/W2499974232","https://openalex.org/W2544851795","https://openalex.org/W2611023804","https://openalex.org/W2738444131","https://openalex.org/W2751601659","https://openalex.org/W2912714641","https://openalex.org/W2915003108","https://openalex.org/W3152703111"],"related_works":["https://openalex.org/W6986557997","https://openalex.org/W7099640268","https://openalex.org/W7099453375","https://openalex.org/W4254362198","https://openalex.org/W7100296733","https://openalex.org/W7097315868","https://openalex.org/W7099220793","https://openalex.org/W7096629450","https://openalex.org/W7146198464","https://openalex.org/W7061385443"],"abstract_inverted_index":{"This":[0,42,109],"dissertation":[1],"presents":[2],"a":[3,16,30,98,168],"critical":[4],"rethinking":[5],"of":[6,15,23,77,86,94,126,161,178],"the":[7,13,24,34,39,51,75,92,127,158,179,193,198],"Java":[8,25,190],"bytecode":[9,40,95],"verification":[10,62,72,121,128,170],"architecture":[11,171],"from":[12,104],"perspective":[14],"software":[17],"engineer.":[18],"In":[19],"existing":[20],"commercial":[21],"implementations":[22],"Virtual":[26,191],"Machine,":[27,192],"there":[28],"is":[29,67],"tight":[31],"coupling":[32],"between":[33],"dynamic":[35,106,147],"linking":[36,87,107,148],"process":[37,149],"and":[38,46,56,80,82],"verifier.":[41],"leads":[43],"to":[44,54,112,134,156],"delocalized":[45],"interleaving":[47],"program":[48],"plans,":[49],"making":[50,153],"verifier":[52,96],"difficult":[53],"maintain":[55],"comprehend.":[57],"A":[58,176],"modular":[59],"mobile":[60,173],"code":[61,174],"architecture,":[63],"called":[64],"Proof":[65,89,166,180],"Linking,":[66],"proposed.":[68],"By":[69],"establishing":[70],"explicit":[71],"interfaces":[73],"in":[74,123,186],"form":[76],"proof":[78],"obligations":[79],"commitments,":[81],"by":[83],"careful":[84],"scheduling":[85],"events,":[88],"Linking":[90,167,181],"supports":[91],"construction":[93],"as":[97],"separate":[99],"engineering":[100],"component,":[101],"fully":[102],"decoupled":[103],"Java's":[105,146],"process.":[108],"turns":[110],"out":[111],"have":[113],"two":[114],"additional":[115],"benefits:":[116],"(1)":[117],"Modularization":[118],"enables":[119],"distributed":[120],"protocols,":[122],"which":[124],"part":[125],"burden":[129],"can":[130,141],"be":[131,143],"safely":[132],"offloaded":[133],"remote":[135],"sites;":[136],"(2)":[137],"Alternative":[138],"static":[139],"analyses":[140],"now":[142],"integrated":[144],"into":[145],"with":[150],"ease,":[151],"thereby":[152],"it":[154],"convenient":[155],"extend":[157],"protection":[159],"mechanism":[160],"Java.":[162],"These":[163],"benefits":[164],"make":[165],"competitive":[169],"for":[172],"systems.":[175],"prototype":[177],"Architecture":[182],"has":[183],"been":[184],"implemented":[185],"an":[187],"open":[188],"source":[189],"Aegis":[194],"VM":[195],"(http://aegisvm.sourceforge.net).":[196],"On":[197]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}