{"id":"https://openalex.org/W3217203691","doi":"https://doi.org/10.1587/transinf.2021edp7070","title":"Formalization and Analysis of Ceph Using Process Algebra","display_name":"Formalization and Analysis of Ceph Using Process Algebra","publication_year":2021,"publication_date":"2021-11-30","ids":{"openalex":"https://openalex.org/W3217203691","doi":"https://doi.org/10.1587/transinf.2021edp7070","mag":"3217203691"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2021edp7070","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2021edp7070","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E104.D/12/E104.D_2021EDP7070/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E104.D/12/E104.D_2021EDP7070/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018599464","display_name":"Ran Li","orcid":"https://orcid.org/0000-0002-3492-1591"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ran LI","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao ZHU","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047527860","display_name":"Jiaqi Yin","orcid":"https://orcid.org/0000-0002-6213-5520"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaqi YIN","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3038,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61246788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"E104.D","issue":"12","first_page":"2154","last_page":"2163"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976000189781189,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976000189781189,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9866999983787537,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9733999967575073,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8664265275001526},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6885731220245361},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6294145584106445},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.6147952079772949},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6108828783035278},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5326606631278992},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5305968523025513},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.48588913679122925},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4719768166542053},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.43202173709869385},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40863922238349915},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3403031826019287},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30637261271476746},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2252340316772461},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11518308520317078},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09424808621406555}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8664265275001526},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6885731220245361},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6294145584106445},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.6147952079772949},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6108828783035278},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5326606631278992},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5305968523025513},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.48588913679122925},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4719768166542053},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.43202173709869385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40863922238349915},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3403031826019287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30637261271476746},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2252340316772461},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11518308520317078},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09424808621406555},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transinf.2021edp7070","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2021edp7070","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E104.D/12/E104.D_2021EDP7070/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transinf.2021edp7070","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2021edp7070","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E104.D/12/E104.D_2021EDP7070/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[{"id":"https://openalex.org/G2818542160","display_name":"\u9762\u5411\u4fe1\u606f\u7269\u7406\u878d\u5408\u7cfb\u7edf\u7684\u7a0b\u5e8f\u7edf\u4e00\u7406\u8bba\u7814\u7a76","funder_award_id":"61872145","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G41279851","display_name":null,"funder_award_id":"62032024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7500725462","display_name":null,"funder_award_id":"2018YFB2101300","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8718566389","display_name":null,"funder_award_id":"2018YFB2101300","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3217203691.pdf","grobid_xml":"https://content.openalex.org/works/W3217203691.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W959591856","https://openalex.org/W1965717855","https://openalex.org/W1999984505","https://openalex.org/W2047844134","https://openalex.org/W2114620376","https://openalex.org/W2117002327","https://openalex.org/W2225892199","https://openalex.org/W2320955485","https://openalex.org/W2588376983","https://openalex.org/W2944803007","https://openalex.org/W2988802445","https://openalex.org/W3006825821","https://openalex.org/W4211008702","https://openalex.org/W4299402001"],"related_works":["https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2529513861","https://openalex.org/W4361186044","https://openalex.org/W2388344305","https://openalex.org/W2884574904","https://openalex.org/W1571571632","https://openalex.org/W2077122591","https://openalex.org/W1977895109"],"abstract_inverted_index":{"Ceph":[0,16,44,109],"is":[1,112],"an":[2],"object-based":[3],"parallel":[4],"distributed":[5],"file":[6],"system":[7,21],"that":[8,26,92,126],"provides":[9,17],"excellent":[10],"performance,":[11],"reliability,":[12],"and":[13,31,70,86],"scalability.":[14],"Additionally,":[15],"its":[18],"Cephx":[19,111,127],"authentication":[20],"to":[22,68,98],"authenticate":[23],"users,":[24],"so":[25],"it":[27,122],"can":[28,123],"identify":[29],"users":[30],"realize":[32],"authentication.":[33],"In":[34,114],"this":[35],"paper,":[36],"we":[37,63,103],"first":[38],"model":[39,57,67,95,107],"the":[40,53,56,65,93,99,115,118],"basic":[41],"architecture":[42],"of":[43,55,108,117],"using":[45],"process":[46],"algebra":[47],"CSP":[48],"(Communicating":[49],"Sequential":[50],"Processes).":[51],"With":[52],"help":[54],"checker":[58],"PAT":[59,69],"(Process":[60],"Analysis":[61],"Toolkit),":[62],"feed":[64],"constructed":[66],"then":[71],"verify":[72],"several":[73],"related":[74],"properties,":[75],"including":[76],"Deadlock":[77],"Freedom,":[78],"Data":[79,81,84],"Reachability,":[80],"Write":[82],"Integrity,":[83],"Consistency":[85],"Authentication.":[87],"The":[88],"verification":[89,120],"results":[90],"show":[91],"original":[94],"cannot":[96],"cater":[97],"Authentication":[100],"property.":[101],"Therefore,":[102],"formalize":[104],"a":[105],"new":[106,119],"where":[110],"adopted.":[113],"light":[116],"results,":[121],"be":[124],"found":[125],"satisfies":[128],"all":[129],"these":[130],"properties.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}