{"id":"https://openalex.org/W4386222425","doi":"https://doi.org/10.1142/s0218194023500535","title":"Formalization and Verification of Enhanced Group Communication CoAP","display_name":"Formalization and Verification of Enhanced Group Communication CoAP","publication_year":2023,"publication_date":"2023-08-28","ids":{"openalex":"https://openalex.org/W4386222425","doi":"https://doi.org/10.1142/s0218194023500535"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194023500535","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194023500535","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5005917912","display_name":"Sini Chen","orcid":"https://orcid.org/0000-0003-3923-7972"},"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":"Sini Chen","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0003-3923-7972","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018599464","display_name":"Ran Li","orcid":"https://orcid.org/0000-0002-3492-1591"},"institutions":[{"id":"https://openalex.org/I200845125","display_name":"Nanjing University of Information Science and Technology","ror":"https://ror.org/02y0rxk19","country_code":"CN","type":"education","lineage":["https://openalex.org/I200845125"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ran Li","raw_affiliation_strings":["School of Software, Nanjing University of Information Science and Technology, Nanjing, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-3492-1591","affiliations":[{"raw_affiliation_string":"School of Software, Nanjing University of Information Science and Technology, Nanjing, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I200845125"]}]},{"author_position":"last","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":true,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.\u00a0R.\u00a0China"],"raw_orcid":"https://orcid.org/0000-0002-0214-8565","affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102937444"],"corresponding_institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":1.5792,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84184692,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"34","issue":"02","first_page":"301","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9879000186920166,"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9879000186920166,"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.9828000068664551,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9814000129699707,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7982981204986572},{"id":"https://openalex.org/keywords/communication-in-small-groups","display_name":"Communication in small groups","score":0.6382706761360168},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5970554947853088},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5449099540710449},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5389888882637024},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.4946882426738739},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4462778866291046},{"id":"https://openalex.org/keywords/models-of-communication","display_name":"Models of communication","score":0.42720627784729004},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.41655606031417847},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4140487611293793},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4120887815952301},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14661693572998047},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11905020475387573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7982981204986572},{"id":"https://openalex.org/C44871818","wikidata":"https://www.wikidata.org/wiki/Q5154139","display_name":"Communication in small groups","level":2,"score":0.6382706761360168},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5970554947853088},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5449099540710449},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5389888882637024},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4946882426738739},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4462778866291046},{"id":"https://openalex.org/C158156997","wikidata":"https://www.wikidata.org/wiki/Q1416645","display_name":"Models of communication","level":2,"score":0.42720627784729004},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.41655606031417847},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4140487611293793},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4120887815952301},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14661693572998047},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11905020475387573},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C46312422","wikidata":"https://www.wikidata.org/wiki/Q11024","display_name":"Communication","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194023500535","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194023500535","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"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"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1829065355","https://openalex.org/W1974710463","https://openalex.org/W1995955735","https://openalex.org/W1996182770","https://openalex.org/W2031926216","https://openalex.org/W2062254040","https://openalex.org/W2114168752","https://openalex.org/W2134295053","https://openalex.org/W2481669388","https://openalex.org/W2561342496","https://openalex.org/W2765706468","https://openalex.org/W2784134065","https://openalex.org/W2802538127","https://openalex.org/W2946768354","https://openalex.org/W2949265220","https://openalex.org/W2964441677","https://openalex.org/W2970181572","https://openalex.org/W2995286220","https://openalex.org/W2997319416","https://openalex.org/W2998075078","https://openalex.org/W3003497739","https://openalex.org/W3013953341","https://openalex.org/W3014398650","https://openalex.org/W3015849852","https://openalex.org/W3016916883","https://openalex.org/W3030941702","https://openalex.org/W3042667087","https://openalex.org/W3042980517","https://openalex.org/W3108406650","https://openalex.org/W3109508055","https://openalex.org/W3126925373","https://openalex.org/W3131193913","https://openalex.org/W3134274385","https://openalex.org/W3171756682","https://openalex.org/W3197939549","https://openalex.org/W3200669844","https://openalex.org/W3203073144","https://openalex.org/W4210886820","https://openalex.org/W4211194285","https://openalex.org/W4214862911","https://openalex.org/W4225662012","https://openalex.org/W4226410604","https://openalex.org/W4229373907","https://openalex.org/W4235845320"],"related_works":["https://openalex.org/W2144839145","https://openalex.org/W2159684889","https://openalex.org/W2146163549","https://openalex.org/W1579587732","https://openalex.org/W1997642163","https://openalex.org/W4388051074","https://openalex.org/W9332053","https://openalex.org/W82852646","https://openalex.org/W2380586759","https://openalex.org/W2168431997"],"abstract_inverted_index":{"With":[0],"the":[1,4,9,18,62,68,71,81,87,93,110,115,143,178,184,201,207],"flourish":[2],"of":[3,6,67,73,95,114,157,183,195,200,219],"Internet":[5],"Things":[7],"(IoT),":[8],"group":[10,82,89,145],"communication":[11,83,90,146],"Constrained":[12],"Application":[13],"Protocol":[14],"(CoAP)":[15],"emerged":[16],"at":[17],"historic":[19],"moment,":[20],"enabling":[21],"homogeneous":[22],"devices":[23],"with":[24,30,138],"constrained":[25],"computing":[26],"ability":[27],"to":[28,48,86,100,108,141,153],"communicate":[29],"ease.":[31],"CoAP":[32,84,91],"is":[33,46],"widely":[34],"used":[35],"in":[36,57,121],"transportation,":[37],"health":[38],"care":[39],"and":[40,52,60,65,98,112,168,203,214],"many":[41],"other":[42],"aspects.":[43],"Hence,":[44],"it":[45,118],"prominent":[47],"propose":[49],"a":[50,122,175,188,216],"flexible":[51],"efficient":[53],"architecture":[54,69,209],"for":[55,181],"usage":[56],"such":[58],"scenarios":[59],"study":[61],"data":[63],"security":[64,102,170],"consistency":[66],"from":[70],"perspective":[72],"formal":[74],"methods.":[75],"In":[76],"this":[77],"paper,":[78],"we":[79,130],"extend":[80],"model":[85,142,150,159],"enhanced":[88,144],"by":[92],"introduction":[94],"smart":[96,126],"gateways":[97],"binding":[99],"new":[101],"suites.":[103],"We":[104,148,172],"make":[105],"further":[106],"improvements":[107],"increase":[109],"scalability":[111],"flexibility":[113],"architecture,":[116],"making":[117],"more":[119,189],"applicable":[120],"healthcare":[123],"scenario":[124],"or":[125],"home":[127],"scenario.":[128],"And":[129],"adopt":[131],"process":[132],"algebra":[133],"Communicating":[134],"Sequential":[135],"Processes":[136],"(CSP)":[137],"real-time":[139],"extension":[140],"CoAP.":[147],"use":[149],"checker":[151],"PAT":[152],"verify":[154],"eight":[155],"properties":[156,167,186],"our":[158],"on":[160,177,187],"an":[161],"abstract":[162],"level,":[163],"including":[164],"four":[165,169],"basic":[166],"properties.":[171],"also":[173],"conduct":[174],"simulation":[176,204],"local":[179],"machine":[180],"validation":[182],"above":[185],"detailed":[190],"level.":[191],"Despite":[192],"some":[193],"simplifications":[194],"physical":[196],"properties,":[197],"both":[198],"results":[199],"verification":[202],"show":[205],"that":[206],"proposed":[208],"can":[210],"satisfy":[211],"those":[212],"requirements":[213],"demonstrate":[215],"good":[217],"possibility":[218],"being":[220],"securely":[221],"put":[222],"into":[223],"service.":[224]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}