{"id":"https://openalex.org/W2256806237","doi":"https://doi.org/10.1155/2016/8797568","title":"From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT","display_name":"From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT","publication_year":2015,"publication_date":"2015-12-10","ids":{"openalex":"https://openalex.org/W2256806237","doi":"https://doi.org/10.1155/2016/8797568","mag":"2256806237"},"language":"en","primary_location":{"id":"doi:10.1155/2016/8797568","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2016/8797568","pdf_url":"http://downloads.hindawi.com/journals/js/2016/8797568.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"http://downloads.hindawi.com/journals/js/2016/8797568.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056827411","display_name":"Tieming Chen","orcid":"https://orcid.org/0000-0003-4664-3311"},"institutions":[{"id":"https://openalex.org/I55712492","display_name":"Zhejiang University of Technology","ror":"https://ror.org/02djqfd08","country_code":"CN","type":"education","lineage":["https://openalex.org/I55712492"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tieming Chen","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China","institution_ids":["https://openalex.org/I55712492"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061038696","display_name":"Zhenbo Yu","orcid":"https://orcid.org/0000-0003-1310-5728"},"institutions":[{"id":"https://openalex.org/I55712492","display_name":"Zhejiang University of Technology","ror":"https://ror.org/02djqfd08","country_code":"CN","type":"education","lineage":["https://openalex.org/I55712492"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenbo Yu","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China","institution_ids":["https://openalex.org/I55712492"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103196339","display_name":"Shijian Li","orcid":"https://orcid.org/0000-0001-5846-3065"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shijian Li","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University, Hangzhou 310012, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University, Hangzhou 310012, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100427262","display_name":"Bo Chen","orcid":"https://orcid.org/0000-0001-6150-3881"},"institutions":[{"id":"https://openalex.org/I55712492","display_name":"Zhejiang University of Technology","ror":"https://ror.org/02djqfd08","country_code":"CN","type":"education","lineage":["https://openalex.org/I55712492"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bo Chen","raw_affiliation_strings":["College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China","institution_ids":["https://openalex.org/I55712492"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5056827411"],"corresponding_institution_ids":["https://openalex.org/I55712492"],"apc_list":{"value":2375,"currency":"USD","value_usd":2375},"apc_paid":{"value":2375,"currency":"USD","value_usd":2375},"fwci":0.718,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.804941,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2016","issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9972000122070312,"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/T11498","display_name":"Security in Wireless Sensor Networks","score":0.9972000122070312,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9883000254631042,"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.9785000085830688,"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.8003074526786804},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6651179194450378},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.6077361106872559},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.583179235458374},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5543085932731628},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5414280295372009},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5239872336387634},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.4798559546470642},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.47406405210494995},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4699782431125641},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.45522722601890564},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4398490786552429},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.43754303455352783},{"id":"https://openalex.org/keywords/body-area-network","display_name":"Body area network","score":0.4362047612667084},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.43277376890182495},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3853943347930908},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.25226855278015137},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.14536267518997192},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1435222029685974},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.12316876649856567},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1166626513004303},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.08559969067573547},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0730324387550354}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8003074526786804},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6651179194450378},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.6077361106872559},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.583179235458374},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5543085932731628},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5414280295372009},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5239872336387634},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.4798559546470642},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47406405210494995},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4699782431125641},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.45522722601890564},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4398490786552429},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.43754303455352783},{"id":"https://openalex.org/C88737568","wikidata":"https://www.wikidata.org/wiki/Q890056","display_name":"Body area network","level":3,"score":0.4362047612667084},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.43277376890182495},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3853943347930908},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25226855278015137},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.14536267518997192},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1435222029685974},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.12316876649856567},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1166626513004303},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.08559969067573547},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0730324387550354},{"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2016/8797568","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2016/8797568","pdf_url":"http://downloads.hindawi.com/journals/js/2016/8797568.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Sensors","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:30a5078b396f48c2a439f80a1cb6a342","is_oa":false,"landing_page_url":"https://doaj.org/article/30a5078b396f48c2a439f80a1cb6a342","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Sensors, Vol 2016 (2016)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2016/8797568","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2016/8797568","pdf_url":"http://downloads.hindawi.com/journals/js/2016/8797568.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G5999040632","display_name":null,"funder_award_id":"61103044","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2256806237.pdf","grobid_xml":"https://content.openalex.org/works/W2256806237.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1532054750","https://openalex.org/W1533077275","https://openalex.org/W1756737887","https://openalex.org/W1970123348","https://openalex.org/W2029693536","https://openalex.org/W2062569358","https://openalex.org/W2068655591","https://openalex.org/W2110081058","https://openalex.org/W2113716310","https://openalex.org/W2114495437","https://openalex.org/W2170105021","https://openalex.org/W2207874720","https://openalex.org/W2364623507","https://openalex.org/W2575007773"],"related_works":["https://openalex.org/W1965722552","https://openalex.org/W4237112499","https://openalex.org/W2358638783","https://openalex.org/W2252724828","https://openalex.org/W2379701766","https://openalex.org/W164648224","https://openalex.org/W1533722674","https://openalex.org/W2766896269","https://openalex.org/W2154157181","https://openalex.org/W2140451704"],"abstract_inverted_index":{"Model":[0],"checking":[1,206],"has":[2],"successfully":[3,184],"been":[4],"applied":[5],"on":[6,35,143,151,203],"verification":[7,30,66,84,149],"of":[8,21,46,49,139,168,197,210],"security":[9,99,144,154,178],"protocols,":[10],"but":[11],"the":[12,28,39,44,119,130,164,169,195,200],"modeling":[13,64,82,105,125,138],"process":[14],"is":[15,24,86,111,115,134,158],"always":[16],"tedious":[17],"and":[18,57,65,79,83,88,166,186],"proficient":[19],"knowledge":[20],"formal":[22,63,81,148],"method":[23,85],"also":[25,173],"needed":[26],"although":[27],"final":[29],"could":[31],"be":[32,183],"automatic":[33,208],"depending":[34],"specific":[36,78],"tools.":[37],"At":[38,101],"same":[40],"time,":[41],"due":[42],"to":[43,96,117,136,162,194],"appearance":[45],"novel":[47,80,175],"kind":[48],"networks,":[50],"such":[51],"as":[52],"wireless":[53,58],"sensor":[54],"networks":[55,61],"(WSN)":[56],"body":[59],"area":[60],"(WBAN),":[62],"for":[67,108,124,207,213],"these":[68],"domain-specific":[69],"systems":[70],"are":[71],"quite":[72],"challenging.":[73],"In":[74],"this":[75],"paper,":[76],"a":[77,152,174],"proposed":[87,170],"implemented":[89],"using":[90,189],"an":[91,103],"expandable":[92],"tool":[93],"called":[94],"PAT":[95],"do":[97],"WSN-specific":[98],"verification.":[100],"first,":[102],"abstract":[104],"data":[106],"structure":[107],"CSP#,":[109],"which":[110,192],"built":[112],"in":[113,156,160,180],"PAT,":[114],"developed":[116],"support":[118],"node":[120,127],"mobility":[121],"related":[122],"specification":[123],"location-based":[126,153,176],"activity.":[128],"Then,":[129],"traditional":[131],"Dolev-Yao":[132],"model":[133,205],"redefined":[135],"facilitate":[137],"location-specific":[140],"attack":[141],"behaviors":[142],"mechanism.":[145],"A":[146],"throughout":[147],"application":[150],"protocol":[155,179,212],"WSN":[157],"described":[159],"detail":[161],"show":[163],"usability":[165],"effectiveness":[167],"methodology.":[171],"Furthermore,":[172],"authentication":[177,211],"WBAN":[181],"can":[182],"modeled":[185],"verified":[187],"directly":[188],"our":[190,198],"method,":[191],"is,":[193],"best":[196],"knowledge,":[199],"first":[201],"effort":[202],"employing":[204],"analysis":[209],"WBAN.":[214]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}