{"id":"https://openalex.org/W3093698142","doi":null,"title":"A FORMAL FRAMEWORK FOR SECURITY ANALYSIS OF WPA2 PROTOCOL","display_name":"A FORMAL FRAMEWORK FOR SECURITY ANALYSIS OF WPA2 PROTOCOL","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W3093698142","mag":"3093698142"},"language":"en","primary_location":{"id":"mag:3093698142","doi":null,"is_oa":false,"landing_page_url":"https://repository.nauss.edu.sa/handle/123456789/66859","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5034176877","display_name":"\u0623\u0633\u0645\u0627\u0621 \u0639\u0628\u062f \u0627\u0644\u0645\u0646\u0639\u0645 \u0639\u0628\u062f \u0627\u0644\u0644\u0647 \u062a\u0631\u0643\u0627\u0648\u064a","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0623\u0633\u0645\u0627\u0621 \u0639\u0628\u062f \u0627\u0644\u0645\u0646\u0639\u0645 \u0639\u0628\u062f \u0627\u0644\u0644\u0647 \u062a\u0631\u0643\u0627\u0648\u064a","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031680388","display_name":"Asma Terkawi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Asma Terkawi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5048463060","display_name":"\u0646\u0633\u0631\u064a\u0646 \u0645\u062d\u0645\u062f . \u0645\u0634\u0631\u0641 \u0639\u0646\u0627\u0628","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0646\u0633\u0631\u064a\u0646 \u0645\u062d\u0645\u062f . \u0645\u0634\u0631\u0641 \u0639\u0646\u0627\u0628","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9721999764442444,"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.9721999764442444,"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.0032999999821186066,"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"}},{"id":"https://openalex.org/T11158","display_name":"Wireless Networks and Protocols","score":0.002400000113993883,"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/wpa2","display_name":"WPA2","score":0.9940000176429749},{"id":"https://openalex.org/keywords/wlan-security","display_name":"wireless LAN security","score":0.7850000262260437},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6110000014305115},{"id":"https://openalex.org/keywords/security-protocol-analysis","display_name":"protocol security analysis","score":0.7480000257492065},{"id":"https://openalex.org/keywords/ieee-802-11","display_name":"IEEE 802.11","score":0.9200000166893005},{"id":"https://openalex.org/keywords/authentication-protocols","display_name":"authentication protocols","score":0.3070000112056732},{"id":"https://openalex.org/keywords/key-management","display_name":"key management","score":0.4320000112056732}],"concepts":[{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6059907674789429},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5682499408721924},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5552258491516113},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4985983371734619},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3419792056083679},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.341741681098938},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2810620665550232},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.16354531049728394},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.11651566624641418},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:3093698142","doi":null,"is_oa":false,"landing_page_url":"https://repository.nauss.edu.sa/handle/123456789/66859","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3186186000","https://openalex.org/W962855702","https://openalex.org/W7023724735","https://openalex.org/W7097679144","https://openalex.org/W2782396042","https://openalex.org/W6903901774","https://openalex.org/W6922382495","https://openalex.org/W6995692596","https://openalex.org/W3125263046","https://openalex.org/W2341498686"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T04:12:42.849631","created_date":"2020-10-29T00:00:00"}