乐胖代购免代理版

{"id":"https://openalex.org/W2014175439","doi":"https://doi.org/10.5555/1251516.1251518","title":"Building an \"impossible\" verifier on a java card","display_name":"Building an \"impossible\" verifier on a java card","publication_year":2002,"publication_date":"2002-12-08","ids":{"openalex":"https://openalex.org/W2014175439","doi":"https://doi.org/10.5555/1251516.1251518","mag":"2014175439"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://www.usenix.org/events/wiess02/tech/full_papers/deville/deville.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","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/A5086729485","display_name":"Damien Deville","orcid":null},"institutions":[{"id":"https://openalex.org/I174424907","display_name":"Laboratoire d'Informatique Fondamentale de Lille","ror":"https://ror.org/05rhg0h08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I174424907"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Damien Deville","raw_affiliation_strings":["Universit\u00e9 des Sciences et Technologies de Lille, Laboratoire Lifl, Villeneuve d'Ascq, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 des Sciences et Technologies de Lille, Laboratoire Lifl, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I174424907"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033512798","display_name":"Gilles Grimaud","orcid":"https://orcid.org/0009-0003-2117-3779"},"institutions":[{"id":"https://openalex.org/I174424907","display_name":"Laboratoire d'Informatique Fondamentale de Lille","ror":"https://ror.org/05rhg0h08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I174424907"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Grimaud","raw_affiliation_strings":["Universit\u00e9 des Sciences et Technologies de Lille, Laboratoire Lifl, Villeneuve d'Ascq, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 des Sciences et Technologies de Lille, Laboratoire Lifl, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I174424907"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.964,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.857419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":null,"issue":null,"first_page":"2","last_page":"2"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9996,"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.9996,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995,"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/multos","display_name":"MULTOS","score":0.48783854},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.44409645},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42213097}],"concepts":[{"id":"https://openalex.org/C47747970","wikidata":"https://www.wikidata.org/wiki/Q46101","display_name":"Java Card","level":4,"score":0.86344767},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8434404},{"id":"https://openalex.org/C22847425","wikidata":"https://www.wikidata.org/wiki/Q7095843","display_name":"OpenPGP card","level":4,"score":0.7192423},{"id":"https://openalex.org/C49930933","wikidata":"https://www.wikidata.org/wiki/Q526959","display_name":"Open Smart Card Development Platform","level":5,"score":0.68196905},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.6280207},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.57907176},{"id":"https://openalex.org/C151340760","wikidata":"https://www.wikidata.org/wiki/Q602456","display_name":"Smart card application protocol data unit","level":3,"score":0.5358509},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.53293884},{"id":"https://openalex.org/C4239916","wikidata":"https://www.wikidata.org/wiki/Q2337892","display_name":"MULTOS","level":5,"score":0.48783854},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.48422313},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.4553268},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.44409645},{"id":"https://openalex.org/C149071572","wikidata":"https://www.wikidata.org/wiki/Q1035664","display_name":"Card security code","level":4,"score":0.4421773},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42213097},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.2649138},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25120255},{"id":"https://openalex.org/C2983355114","wikidata":"https://www.wikidata.org/wiki/Q161380","display_name":"Credit card","level":3,"score":0.23856771},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.10610914},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://www.usenix.org/events/wiess02/tech/full_papers/deville/deville.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":13,"referenced_works":["https://openalex.org/W1512211898","https://openalex.org/W1514258760","https://openalex.org/W1522113126","https://openalex.org/W1544300973","https://openalex.org/W1612432860","https://openalex.org/W1633108902","https://openalex.org/W1869829327","https://openalex.org/W1999978255","https://openalex.org/W2012470235","https://openalex.org/W2028327857","https://openalex.org/W2034711041","https://openalex.org/W2034918123","https://openalex.org/W2124153277"],"related_works":["https://openalex.org/W790895026","https://openalex.org/W3046442452","https://openalex.org/W2625402140","https://openalex.org/W2380901871","https://openalex.org/W2374883521","https://openalex.org/W2095692816","https://openalex.org/W2073841385","https://openalex.org/W2053171799","https://openalex.org/W2034711041","https://openalex.org/W2028327857","https://openalex.org/W2012470235","https://openalex.org/W1978864988","https://openalex.org/W196945269","https://openalex.org/W1869829327","https://openalex.org/W1633108902","https://openalex.org/W1612432860","https://openalex.org/W1593110340","https://openalex.org/W1563556521","https://openalex.org/W1533139437","https://openalex.org/W1501401133"],"abstract_inverted_index":{"Java":[0,65,69],"is":[1,45,48],"a":[2,17,51,64,76,133,137,141,163,169],"popular":[3],"development":[4],"platform":[5],"for":[6,16],"mobile":[7],"code":[8,28,58],"systems.":[9],"It":[10],"ensures":[11,110],"application":[12],"portability":[13],"and":[14,136],"mobility":[15],"variety":[18,142],"of":[19,79,122,143,152,161],"systems,":[20],"while":[21],"providing":[22],"strong":[23],"security":[24,53,164],"features.":[25],"The":[26],"intermediate":[27],"(byte":[29],"code)":[30],"allows":[31,119],"the":[32,39,43,56,88,92,95,102,106,112,149,159],"virtual":[33],"machine":[34],"to":[35,86,100,146,148],"verify":[36],"statically":[37],"(during":[38],"loading":[40],"phase)":[41],"that":[42,62,111],"program":[44],"well-behaved.":[46],"This":[47,109],"done":[49],"by":[50],"software":[52,138],"module":[54],"called":[55,68],"byte":[57],"verifier.":[59],"Smart":[60],"Cards":[61],"provide":[63,87],"Virtual":[66],"Machine,":[67],"Card,":[70],"are":[71,83],"not":[72],"supplied":[73],"with":[74,140],"such":[75,162],"verifier":[77,104,131],"because":[78],"its":[80],"complexity.":[81],"Alternatives":[82],"being":[84,166],"studied":[85],"same":[89],"functionality":[90],"outside":[91],"card.":[93,108,154,171],"In":[94],"present":[96],"paper,":[97],"we":[98],"propose":[99],"integrate":[101],"whole":[103],"inside":[105],"smart":[107,113,123,153,170],"card":[114],"becomes":[115],"entirely":[116],"autonomous,":[117],"which":[118],"full":[120],"realization":[121],"cards":[124],"potential":[125],"as":[126],"pervasive":[127],"computing":[128],"devices.":[129],"Our":[130,155],"uses":[132],"specialized":[134],"encoding":[135],"cache":[139,144],"polices":[145],"adapt":[147],"hardware":[150],"constraints":[151],"experimental":[156],"results":[157],"confirm":[158],"feasibility":[160],"system":[165],"implemented":[167],"in":[168]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2014175439","counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2024-12-16T08:56:25.657867","created_date":"2016-06-24"}