{"id":"https://openalex.org/W2058800472","doi":"https://doi.org/10.4304/jnw.8.3.552-558","title":"A Framework for Automated Security Proof and its Application to OAEP","display_name":"A Framework for Automated Security Proof and its Application to OAEP","publication_year":2013,"publication_date":"2013-03-28","ids":{"openalex":"https://openalex.org/W2058800472","doi":"https://doi.org/10.4304/jnw.8.3.552-558","mag":"2058800472"},"language":"en","primary_location":{"id":"doi:10.4304/jnw.8.3.552-558","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jnw.8.3.552-558","pdf_url":null,"source":{"id":"https://openalex.org/S189188848","display_name":"Journal of Networks","issn_l":"1796-2056","issn":["1796-2056"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Networks","raw_type":"journal-article"},"type":"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/A5102120782","display_name":"Guang Yan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guang Yan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107677410","display_name":"Yuefei Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu Yue-Fei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100763293","display_name":"Chunxiang Gu","orcid":"https://orcid.org/0000-0003-3860-1939"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gu Chun-Xiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Fei Jin-long","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fei Jin-long","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5048716680","display_name":"He Xin-Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He Xin-Zheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":16.0634,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.9904781,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"8","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.998199999332428,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.998199999332428,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9966999888420105,"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/computer-science","display_name":"Computer science","score":0.9166711568832397},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5841829180717468}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9166711568832397},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5841829180717468}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jnw.8.3.552-558","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jnw.8.3.552-558","pdf_url":null,"source":{"id":"https://openalex.org/S189188848","display_name":"Journal of Networks","issn_l":"1796-2056","issn":["1796-2056"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Networks","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W144114984","https://openalex.org/W187962066","https://openalex.org/W1501056402","https://openalex.org/W1518137927","https://openalex.org/W1552695147","https://openalex.org/W1577115042","https://openalex.org/W1911300459","https://openalex.org/W2011086847","https://openalex.org/W2050586071","https://openalex.org/W2110172854","https://openalex.org/W2113999696","https://openalex.org/W2123991163","https://openalex.org/W2167606175","https://openalex.org/W2561675875","https://openalex.org/W2571169473","https://openalex.org/W2602645338","https://openalex.org/W2753555060","https://openalex.org/W2871733556","https://openalex.org/W2912926260","https://openalex.org/W6630999339","https://openalex.org/W6676748272"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"OAEP":[0],"is":[1,35,50],"a":[2,26,38],"widely":[3],"used":[4],"public-key":[5],"encryption":[6,66],"scheme":[7],"based":[8],"on":[9,52],"trapdoor":[10],"permutation.":[11],"Its":[12],"security":[13,31,42],"proof":[14,28,74],"has":[15],"been":[16],"scrutinized":[17],"and":[18,60,76],"amended":[19],"repeatedly.":[20],"In":[21],"this":[22],"paper":[23],"we":[24],"present":[25],"automatically":[27],"for":[29,40],"IND-CCA2":[30],"of":[32,55,62,72,81],"OAEP,":[33],"which":[34],"completed":[36],"by":[37],"framework":[39,49],"mechanized":[41],"proof,":[43],"without":[44],"any":[45],"human":[46],"intervention.":[47],"The":[48],"built":[51],"the":[53,73,82],"base":[54],"probabilistic":[56],"polynomial-time":[57],"process":[58],"calculus,":[59],"capable":[61],"dealing":[63],"with":[64],"padding-based":[65],"schemes.":[67],"We":[68],"provide":[69],"an":[70],"overview":[71],"instance":[75],"explain":[77],"several":[78],"crucial":[79],"steps":[80],"game":[83],"transformation.":[84]},"counts_by_year":[{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":24}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}