{"id":"https://openalex.org/W2158750961","doi":"https://doi.org/10.1109/iswcs.2008.4726137","title":"Modeling and analysis of IEEE 802.16 PKM Protocols using CasperFDR","display_name":"Modeling and analysis of IEEE 802.16 PKM Protocols using CasperFDR","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2158750961","doi":"https://doi.org/10.1109/iswcs.2008.4726137","mag":"2158750961"},"language":"en","primary_location":{"id":"doi:10.1109/iswcs.2008.4726137","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iswcs.2008.4726137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Symposium on Wireless Communication Systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5061357989","display_name":"Sen Xu","orcid":"https://orcid.org/0000-0001-5849-1453"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sen Xu","raw_affiliation_strings":["Department of Computer Science and Engineering, University of South Carolina, Columbia, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056673342","display_name":"Chin\u2010Tser Huang","orcid":"https://orcid.org/0000-0003-3983-972X"},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chin-Tser Huang","raw_affiliation_strings":["Department of Computer Science and Engineering, University of South Carolina, Columbia, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011284189","display_name":"Manton M. Matthews","orcid":null},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Manton M. Matthews","raw_affiliation_strings":["Department of Computer Science and Engineering, University of South Carolina, Columbia, SC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of South Carolina, Columbia, SC, USA","institution_ids":["https://openalex.org/I155781252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I155781252"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":null,"first_page":"653","last_page":"657"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"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/T10237","display_name":"Cryptography and Data Security","score":0.9901000261306763,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9889000058174133,"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.7906250953674316},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5743898749351501},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5213652849197388},{"id":"https://openalex.org/keywords/ieee-802.11u","display_name":"IEEE 802.11u","score":0.49348270893096924},{"id":"https://openalex.org/keywords/ieee-802","display_name":"IEEE 802","score":0.4913994073867798},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4688599705696106},{"id":"https://openalex.org/keywords/ieee-802.11w-2009","display_name":"IEEE 802.11w-2009","score":0.467519074678421},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4191649556159973},{"id":"https://openalex.org/keywords/inter-access-point-protocol","display_name":"Inter-Access Point Protocol","score":0.41156184673309326},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.40590333938598633},{"id":"https://openalex.org/keywords/ieee-802.11","display_name":"IEEE 802.11","score":0.3798684775829315},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.24817940592765808},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.24519672989845276},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.22519439458847046},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1358942687511444},{"id":"https://openalex.org/keywords/wi-fi","display_name":"Wi-Fi","score":0.12805640697479248}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7906250953674316},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5743898749351501},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5213652849197388},{"id":"https://openalex.org/C21651964","wikidata":"https://www.wikidata.org/wiki/Q10566612","display_name":"IEEE 802.11u","level":5,"score":0.49348270893096924},{"id":"https://openalex.org/C522090004","wikidata":"https://www.wikidata.org/wiki/Q616245","display_name":"IEEE 802","level":3,"score":0.4913994073867798},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4688599705696106},{"id":"https://openalex.org/C40261086","wikidata":"https://www.wikidata.org/wiki/Q5970277","display_name":"IEEE 802.11w-2009","level":5,"score":0.467519074678421},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4191649556159973},{"id":"https://openalex.org/C84035377","wikidata":"https://www.wikidata.org/wiki/Q492197","display_name":"Inter-Access Point Protocol","level":5,"score":0.41156184673309326},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.40590333938598633},{"id":"https://openalex.org/C185298936","wikidata":"https://www.wikidata.org/wiki/Q193228","display_name":"IEEE 802.11","level":4,"score":0.3798684775829315},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.24817940592765808},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.24519672989845276},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.22519439458847046},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1358942687511444},{"id":"https://openalex.org/C508800617","wikidata":"https://www.wikidata.org/wiki/Q29643","display_name":"Wi-Fi","level":4,"score":0.12805640697479248},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iswcs.2008.4726137","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iswcs.2008.4726137","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Symposium on Wireless Communication Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W15337284","https://openalex.org/W1490371707","https://openalex.org/W1705753742","https://openalex.org/W1971657219","https://openalex.org/W1976665679","https://openalex.org/W1977905808","https://openalex.org/W1979687765","https://openalex.org/W2097913369","https://openalex.org/W2110423379","https://openalex.org/W2110425399","https://openalex.org/W2120600989","https://openalex.org/W2124679171","https://openalex.org/W2155032609","https://openalex.org/W2159870800","https://openalex.org/W2170718011","https://openalex.org/W2175137100","https://openalex.org/W2187326887","https://openalex.org/W2351166206","https://openalex.org/W3013607954","https://openalex.org/W3143649921","https://openalex.org/W3144368627","https://openalex.org/W3145814629","https://openalex.org/W4211008702","https://openalex.org/W4213148345","https://openalex.org/W6674292178","https://openalex.org/W6682949532","https://openalex.org/W6683539065","https://openalex.org/W6989241631"],"related_works":["https://openalex.org/W1574363014","https://openalex.org/W2080618001","https://openalex.org/W2388856447","https://openalex.org/W1554556548","https://openalex.org/W2054185742","https://openalex.org/W2344135218","https://openalex.org/W4206789862","https://openalex.org/W2000947829","https://openalex.org/W2075390992","https://openalex.org/W2086014969"],"abstract_inverted_index":{"IEEE":[0,15],"802.16":[1,16],"is":[2,12],"the":[3,26,38,45,57,77],"standard":[4],"for":[5,19],"broadband":[6],"wireless":[7],"access.":[8],"The":[9],"security":[10],"sublayer":[11],"provided":[13],"within":[14],"MAC":[17],"layer":[18],"privacy":[20],"and":[21,28,43,68,76],"access":[22],"control,":[23],"in":[24,73],"which":[25,50],"Privacy":[27],"Key":[29],"Management":[30],"(PKM)":[31],"protocols":[32,40,64],"are":[33,51,65,71,79],"specified.":[34],"This":[35],"paper":[36],"models":[37],"PKM":[39,63],"using":[41],"Casper":[42],"analyzes":[44],"CSP":[46],"output":[47],"with":[48],"FDR,":[49],"formal":[52],"analysis":[53],"tools":[54],"based":[55],"on":[56],"model":[58],"checker.":[59],"Later":[60],"versions":[61],"of":[62],"also":[66],"modeled":[67],"analyzed.":[69],"Attacks":[70],"found":[72],"each":[74],"version":[75],"results":[78],"discussed.":[80]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":7}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}