{"id":"https://openalex.org/W4385577727","doi":"https://doi.org/10.3390/s23156933","title":"A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic","display_name":"A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic","publication_year":2023,"publication_date":"2023-08-03","ids":{"openalex":"https://openalex.org/W4385577727","doi":"https://doi.org/10.3390/s23156933","pmid":"https://pubmed.ncbi.nlm.nih.gov/37571715"},"language":"en","primary_location":{"id":"doi:10.3390/s23156933","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s23156933","pdf_url":"https://www.mdpi.com/1424-8220/23/15/6933/pdf?version=1691133821","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1424-8220/23/15/6933/pdf?version=1691133821","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071757643","display_name":"Wesley dos Reis Bezerra","orcid":"https://orcid.org/0000-0002-6098-7172"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Wesley R. Bezerra","raw_affiliation_strings":["Campus Universit\u00e1rio\u2014Trindade, UFSC\u2014Federal University of Santa Catarina, Florian\u00f3polis 88040-380, SC, Brazil"],"affiliations":[{"raw_affiliation_string":"Campus Universit\u00e1rio\u2014Trindade, UFSC\u2014Federal University of Santa Catarina, Florian\u00f3polis 88040-380, SC, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054834050","display_name":"Jean Everson Martina","orcid":"https://orcid.org/0000-0003-4104-1741"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jean E. Martina","raw_affiliation_strings":["Campus Universit\u00e1rio\u2014Trindade, UFSC\u2014Federal University of Santa Catarina, Florian\u00f3polis 88040-380, SC, Brazil"],"affiliations":[{"raw_affiliation_string":"Campus Universit\u00e1rio\u2014Trindade, UFSC\u2014Federal University of Santa Catarina, Florian\u00f3polis 88040-380, SC, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067412121","display_name":"Carlos Becker Westphall","orcid":"https://orcid.org/0000-0002-5391-7942"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Carlos B. Westphall","raw_affiliation_strings":["Campus Universit\u00e1rio\u2014Trindade, UFSC\u2014Federal University of Santa Catarina, Florian\u00f3polis 88040-380, SC, Brazil"],"affiliations":[{"raw_affiliation_string":"Campus Universit\u00e1rio\u2014Trindade, UFSC\u2014Federal University of Santa Catarina, Florian\u00f3polis 88040-380, SC, Brazil","institution_ids":["https://openalex.org/I4104125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071757643"],"corresponding_institution_ids":["https://openalex.org/I4104125"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2598},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2598},"fwci":1.2142,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.79638233,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"23","issue":"15","first_page":"6933","last_page":"6933"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9983000159263611,"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.8092873096466064},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6686223149299622},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5442841053009033},{"id":"https://openalex.org/keywords/reputation","display_name":"Reputation","score":0.4650598168373108},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.4484724998474121},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.436572790145874},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.4283660352230072},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42083480954170227},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.42026498913764954},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.24040955305099487},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.2178972363471985},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.09992486238479614}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8092873096466064},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6686223149299622},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5442841053009033},{"id":"https://openalex.org/C48798503","wikidata":"https://www.wikidata.org/wiki/Q877546","display_name":"Reputation","level":2,"score":0.4650598168373108},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.4484724998474121},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.436572790145874},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.4283660352230072},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42083480954170227},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.42026498913764954},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.24040955305099487},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.2178972363471985},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.09992486238479614},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3390/s23156933","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s23156933","pdf_url":"https://www.mdpi.com/1424-8220/23/15/6933/pdf?version=1691133821","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},{"id":"pmid:37571715","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/37571715","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:10422480","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/10422480","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC10422480/pdf/sensors-23-06933.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors (Basel)","raw_type":"Text"},{"id":"pmh:oai:doaj.org/article:40d15351119d433582aa69bdd35df26c","is_oa":true,"landing_page_url":"https://doaj.org/article/40d15351119d433582aa69bdd35df26c","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors, Vol 23, Iss 15, p 6933 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1424-8220/23/15/6933/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/s23156933","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors; Volume 23; Issue 15; Pages: 6933","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/s23156933","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s23156933","pdf_url":"https://www.mdpi.com/1424-8220/23/15/6933/pdf?version=1691133821","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385577727.pdf"},"referenced_works_count":95,"referenced_works":["https://openalex.org/W74005731","https://openalex.org/W117556101","https://openalex.org/W146244851","https://openalex.org/W831585235","https://openalex.org/W1501731334","https://openalex.org/W1520914943","https://openalex.org/W1870775993","https://openalex.org/W1961994720","https://openalex.org/W1981808971","https://openalex.org/W1993986275","https://openalex.org/W2019768739","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2029693536","https://openalex.org/W2038514592","https://openalex.org/W2040713190","https://openalex.org/W2048355938","https://openalex.org/W2049696538","https://openalex.org/W2054870155","https://openalex.org/W2084910510","https://openalex.org/W2090297389","https://openalex.org/W2092815345","https://openalex.org/W2123299109","https://openalex.org/W2125040344","https://openalex.org/W2131789459","https://openalex.org/W2154126105","https://openalex.org/W2158487031","https://openalex.org/W2165491783","https://openalex.org/W2171235575","https://openalex.org/W2245189809","https://openalex.org/W2299450638","https://openalex.org/W2562000701","https://openalex.org/W2573048514","https://openalex.org/W2626904088","https://openalex.org/W2733765803","https://openalex.org/W2768361425","https://openalex.org/W2785593630","https://openalex.org/W2941354264","https://openalex.org/W2943063718","https://openalex.org/W2947165325","https://openalex.org/W2964268266","https://openalex.org/W2965568386","https://openalex.org/W2982431216","https://openalex.org/W2985336933","https://openalex.org/W3012111863","https://openalex.org/W3016744450","https://openalex.org/W3026575448","https://openalex.org/W3033087204","https://openalex.org/W3042872240","https://openalex.org/W3044937181","https://openalex.org/W3080294124","https://openalex.org/W3084670216","https://openalex.org/W3084876696","https://openalex.org/W3086661184","https://openalex.org/W3092193244","https://openalex.org/W3092306855","https://openalex.org/W3092606236","https://openalex.org/W3093768914","https://openalex.org/W3093960462","https://openalex.org/W3094137976","https://openalex.org/W3103008729","https://openalex.org/W3127057865","https://openalex.org/W3127828510","https://openalex.org/W3133895076","https://openalex.org/W3134816364","https://openalex.org/W3158761221","https://openalex.org/W3165941551","https://openalex.org/W3166879819","https://openalex.org/W3177466645","https://openalex.org/W3184158377","https://openalex.org/W3184664699","https://openalex.org/W3189680939","https://openalex.org/W3195109036","https://openalex.org/W3196878016","https://openalex.org/W3210360585","https://openalex.org/W4210318281","https://openalex.org/W4210596428","https://openalex.org/W4210631259","https://openalex.org/W4214908052","https://openalex.org/W4220744683","https://openalex.org/W4225851476","https://openalex.org/W4285195112","https://openalex.org/W4295123670","https://openalex.org/W4315777355","https://openalex.org/W4318041403","https://openalex.org/W4321062018","https://openalex.org/W4321488662","https://openalex.org/W4362672268","https://openalex.org/W6601151004","https://openalex.org/W6640868803","https://openalex.org/W6732190867","https://openalex.org/W6784800149","https://openalex.org/W6798958612","https://openalex.org/W6801061577","https://openalex.org/W6803499689"],"related_works":["https://openalex.org/W2493929861","https://openalex.org/W2475541339","https://openalex.org/W2107199751","https://openalex.org/W565335793","https://openalex.org/W2439332991","https://openalex.org/W3139934204","https://openalex.org/W2056632160","https://openalex.org/W2370807768","https://openalex.org/W148952649","https://openalex.org/W4243557956"],"abstract_inverted_index":{"There":[0],"are":[1,30],"many":[2],"security":[3,48,66,70,87,100,143,167],"challenges":[4],"in":[5,15,53,108,130],"IoT,":[6],"especially":[7],"related":[8],"to":[9,83],"the":[10,33,38,63,69,85,89,121,127,142,148,156,160],"authentication":[11,94],"of":[12,32,41,47,65,71,88,91,155,162,165],"restricted":[13],"devices":[14],"long-distance":[16],"and":[17,26,73,125],"low-throughput":[18],"networks.":[19],"Problems":[20],"such":[21,55],"as":[22],"impersonation,":[23],"privacy":[24],"issues,":[25],"excessive":[27],"battery":[28],"usage":[29],"some":[31],"existing":[34],"problems":[35],"evaluated":[36],"through":[37,117],"threat":[39],"modeling":[40,141],"this":[42,131,145],"work.":[43,132],"A":[44],"formal":[45,163],"assessment":[46],"solutions":[49],"for":[50,151],"their":[51,74],"compliance":[52],"addressing":[54],"threats":[56],"is":[57,123,135],"desirable.":[58],"Although":[59,133],"several":[60],"works":[61],"address":[62],"verification":[64,164],"protocols,":[67],"verifying":[68],"components":[72,90],"non-locking":[75],"has":[76],"been":[77],"little":[78],"explored.":[79],"This":[80],"work":[81,138],"proposes":[82],"analyze":[84],"design-time":[86],"a":[92,97,112,137,152],"multi-factor":[93],"mechanism":[95,122,157],"with":[96],"reputation":[98],"regarding":[99],"requirements":[101,128],"that":[102,120],"go":[103],"beyond":[104],"encryption":[105],"or":[106],"secrecy":[107],"data":[109],"transmission.":[110],"As":[111],"result,":[113],"it":[114,134],"was":[115],"observed":[116],"temporal":[118],"logic":[119],"deadlock-free":[124],"meets":[126],"established":[129],"not":[136],"aimed":[139],"at":[140],"mechanism,":[144],"document":[146],"provides":[147],"necessary":[149],"details":[150],"better":[153],"understanding":[154],"and,":[158],"consequently,":[159],"process":[161],"its":[166],"properties.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}