乐胖代购免代理版

{"id":"https://openalex.org/W2982165631","doi":"https://doi.org/10.1016/j.jss.2019.110450","title":"A survey on the use of access permission-based specifications for program verification","display_name":"A survey on the use of access permission-based specifications for program verification","publication_year":2019,"publication_date":"2019-10-21","ids":{"openalex":"https://openalex.org/W2982165631","doi":"https://doi.org/10.1016/j.jss.2019.110450","mag":"2982165631"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jss.2019.110450","pdf_url":null,"source":{"id":"https://openalex.org/S37879656","display_name":"Journal of Systems and Software","issn_l":"0164-1212","issn":["0164-1212","1873-1228"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","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/A5103061575","display_name":"Ayesha Sadiq","orcid":"https://orcid.org/0000-0002-9790-3833"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"funder","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Ayesha Sadiq","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Clayton, Australia"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017943466","display_name":"Yuan-Fang Li","orcid":"https://orcid.org/0000-0003-4651-2821"},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"funder","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yuan-Fang Li","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Clayton, Australia"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112052727","display_name":"Sea Ling","orcid":null},"institutions":[{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"funder","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sea Ling","raw_affiliation_strings":["Faculty of Information Technology, Monash University, Clayton, Australia"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Monash University, Clayton, Australia","institution_ids":["https://openalex.org/I56590836"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103061575"],"corresponding_institution_ids":["https://openalex.org/I56590836"],"apc_list":{"value":3560,"currency":"USD","value_usd":3560},"apc_paid":null,"fwci":0.282,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.690694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":76},"biblio":{"volume":"159","issue":null,"first_page":"110450","last_page":"110450"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.998,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.998,"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.9945,"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/T10142","display_name":"Formal Methods in Verification","score":0.985,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/permission","display_name":"Permission","score":0.94277304}],"concepts":[{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.94277304},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84217083},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8275418},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.666546},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45362064},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35684842},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32135415},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jss.2019.110450","pdf_url":null,"source":{"id":"https://openalex.org/S37879656","display_name":"Journal of Systems and Software","issn_l":"0164-1212","issn":["0164-1212","1873-1228"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.43,"display_name":"Partnerships for the goals"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":240,"referenced_works":["https://openalex.org/W109545358","https://openalex.org/W1445130277","https://openalex.org/W1495226832","https://openalex.org/W1495244757","https://openalex.org/W1495368328","https://openalex.org/W1498393124","https://openalex.org/W1507029499","https://openalex.org/W1511982475","https://openalex.org/W1528322206","https://openalex.org/W1534850143","https://openalex.org/W1535882582","https://openalex.org/W1537084112","https://openalex.org/W1545681762","https://openalex.org/W1548444083","https://openalex.org/W1549217957","https://openalex.org/W1554398046","https://openalex.org/W1555179958","https://openalex.org/W1555656963","https://openalex.org/W1562729841","https://openalex.org/W1565541828","https://openalex.org/W1566907965","https://openalex.org/W1568983194","https://openalex.org/W1574577245","https://openalex.org/W1584342183","https://openalex.org/W1587425253","https://openalex.org/W1588132240","https://openalex.org/W1595523781","https://openalex.org/W1600051487","https://openalex.org/W1606142489","https://openalex.org/W1607623316","https://openalex.org/W1657354101","https://openalex.org/W169148756","https://openalex.org/W170607821","https://openalex.org/W1711395388","https://openalex.org/W174224105","https://openalex.org/W1773735832","https://openalex.org/W1784055113","https://openalex.org/W180196925","https://openalex.org/W1819989006","https://openalex.org/W1820726602","https://openalex.org/W1822136335","https://openalex.org/W1861989620","https://openalex.org/W1870299213","https://openalex.org/W1883854985","https://openalex.org/W1906944391","https://openalex.org/W1932110987","https://openalex.org/W1941373452","https://openalex.org/W195143051","https://openalex.org/W1964554588","https://openalex.org/W1965462925","https://openalex.org/W1965662337","https://openalex.org/W1965718940","https://openalex.org/W1968898611","https://openalex.org/W1971164151","https://openalex.org/W1974806232","https://openalex.org/W1977899806","https://openalex.org/W1981638222","https://openalex.org/W1984303085","https://openalex.org/W1988482081","https://openalex.org/W1989293671","https://openalex.org/W1995020439","https://openalex.org/W1998344822","https://openalex.org/W2006290442","https://openalex.org/W2013892605","https://openalex.org/W2015979616","https://openalex.org/W2021199294","https://openalex.org/W2039219985","https://openalex.org/W2040105559","https://openalex.org/W2042668508","https://openalex.org/W2042694844","https://openalex.org/W2042935134","https://openalex.org/W2043100293","https://openalex.org/W2044306001","https://openalex.org/W2044320580","https://openalex.org/W2044550200","https://openalex.org/W2044590882","https://openalex.org/W2052363833","https://openalex.org/W2053718235","https://openalex.org/W2060234806","https://openalex.org/W2061341742","https://openalex.org/W2069300761","https://openalex.org/W2076632469","https://openalex.org/W2077987280","https://openalex.org/W2083775385","https://openalex.org/W2091712774","https://openalex.org/W2093370559","https://openalex.org/W2094160561","https://openalex.org/W2094694891","https://openalex.org/W2096675459","https://openalex.org/W2101911818","https://openalex.org/W2102640269","https://openalex.org/W2103957752","https://openalex.org/W2105452745","https://openalex.org/W2109121837","https://openalex.org/W2111706174","https://openalex.org/W2111759889","https://openalex.org/W2111900492","https://openalex.org/W2120716072","https://openalex.org/W2121101539","https://openalex.org/W2123691799","https://openalex.org/W2124126159","https://openalex.org/W2130684283","https://openalex.org/W2131747807","https://openalex.org/W2131791649","https://openalex.org/W2132143669","https://openalex.org/W2132761501","https://openalex.org/W2132800423","https://openalex.org/W2134164054","https://openalex.org/W2135820369","https://openalex.org/W2135868037","https://openalex.org/W2136739578","https://openalex.org/W2136839747","https://openalex.org/W2137422315","https://openalex.org/W2137628566","https://openalex.org/W2138527110","https://openalex.org/W2138552902","https://openalex.org/W2138652462","https://openalex.org/W2142837069","https://openalex.org/W2143856104","https://openalex.org/W2149984854","https://openalex.org/W2151618441","https://openalex.org/W2154713600","https://openalex.org/W2154768716","https://openalex.org/W2155656276","https://openalex.org/W2156428492","https://openalex.org/W2159595840","https://openalex.org/W2161079291","https://openalex.org/W2161553670","https://openalex.org/W2161825580","https://openalex.org/W2166615267","https://openalex.org/W2166989203","https://openalex.org/W2168690953","https://openalex.org/W2169907127","https://openalex.org/W2171480813","https://openalex.org/W2171537091","https://openalex.org/W2171685273","https://openalex.org/W2173732377","https://openalex.org/W221670187","https://openalex.org/W2252526207","https://openalex.org/W2294722445","https://openalex.org/W2295283320","https://openalex.org/W2306184505","https://openalex.org/W2329205359","https://openalex.org/W2342367320","https://openalex.org/W237093534","https://openalex.org/W2401435153","https://openalex.org/W2411514769","https://openalex.org/W2476463599","https://openalex.org/W2482059575","https://openalex.org/W2484035874","https://openalex.org/W2490211961","https://openalex.org/W2495321978","https://openalex.org/W2495956853","https://openalex.org/W2499380309","https://openalex.org/W2501230561","https://openalex.org/W2502038308","https://openalex.org/W2504100651","https://openalex.org/W2507013050","https://openalex.org/W2568643617","https://openalex.org/W2572695217","https://openalex.org/W2594903377","https://openalex.org/W2606909786","https://openalex.org/W2611302887","https://openalex.org/W2626106541","https://openalex.org/W2674204221","https://openalex.org/W2735532640","https://openalex.org/W2746792245","https://openalex.org/W2750219989","https://openalex.org/W2753815327","https://openalex.org/W2792284198","https://openalex.org/W2796522192","https://openalex.org/W2797844004","https://openalex.org/W2803843036","https://openalex.org/W2810291249","https://openalex.org/W2890768784","https://openalex.org/W2911468826","https://openalex.org/W2911865844","https://openalex.org/W2912296587","https://openalex.org/W2912316654","https://openalex.org/W2912447136","https://openalex.org/W2912640545","https://openalex.org/W2913004403","https://openalex.org/W2913424811","https://openalex.org/W2916294243","https://openalex.org/W2916837744","https://openalex.org/W2917837346","https://openalex.org/W2936210189","https://openalex.org/W2951744246","https://openalex.org/W2952151793","https://openalex.org/W2963105536","https://openalex.org/W2963310111","https://openalex.org/W2973079764","https://openalex.org/W2987907651","https://openalex.org/W3006137651","https://openalex.org/W3006363542","https://openalex.org/W3009678450","https://openalex.org/W3024096614","https://openalex.org/W3032926401","https://openalex.org/W308132788","https://openalex.org/W3121786935","https://openalex.org/W3146075203","https://openalex.org/W3146519985","https://openalex.org/W4205590018","https://openalex.org/W4205907492","https://openalex.org/W4206361984","https://openalex.org/W4234232592","https://openalex.org/W4236153657","https://openalex.org/W4236666533","https://openalex.org/W4237971447","https://openalex.org/W4238298633","https://openalex.org/W4238317146","https://openalex.org/W4238766695","https://openalex.org/W4239026022","https://openalex.org/W4239220042","https://openalex.org/W4239756179","https://openalex.org/W4241395538","https://openalex.org/W4241843286","https://openalex.org/W4243072605","https://openalex.org/W4243358847","https://openalex.org/W4244226284","https://openalex.org/W4244541176","https://openalex.org/W4246263814","https://openalex.org/W4246634981","https://openalex.org/W4249694857","https://openalex.org/W4250517349","https://openalex.org/W4251912342","https://openalex.org/W4254124737","https://openalex.org/W4256345335","https://openalex.org/W4285719527","https://openalex.org/W4285827657","https://openalex.org/W4288581887","https://openalex.org/W4298303640","https://openalex.org/W4299353832","https://openalex.org/W4300827681","https://openalex.org/W4300950982","https://openalex.org/W48100847","https://openalex.org/W67025621","https://openalex.org/W69013600","https://openalex.org/W776003551","https://openalex.org/W80370608"],"related_works":["https://openalex.org/W4246410201","https://openalex.org/W3176279093","https://openalex.org/W2959939328","https://openalex.org/W2392327727","https://openalex.org/W2385081216","https://openalex.org/W2374086689","https://openalex.org/W2373945265","https://openalex.org/W2370203001","https://openalex.org/W1968505275","https://openalex.org/W1912565424"],"abstract_inverted_index":null,"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2982165631","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-04-15T21:28:49.786026","created_date":"2019-11-01"}