{"id":"https://openalex.org/W3003189122","doi":null,"title":"Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model.","display_name":"Automatic Verification of Security of Identity Federation Security Protocol Based on SAML2.0 with ProVerif in the Symbolic Model.","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3003189122","mag":"3003189122"},"language":"en","primary_location":{"id":"mag:3003189122","doi":null,"is_oa":false,"landing_page_url":"http://ijns.jalaxy.com.tw/contents/ijns-v22-n1/ijns-2020-v22-n1-p80-92.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S189576285","display_name":"International journal of network security","issn_l":"1816-353X","issn":["1816-353X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Int. J. Netw. Secur.","raw_type":null},"volume":null,"type":"article","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/A5000176496","display_name":"Jintian Lu","orcid":"https://orcid.org/0000-0002-8795-0847","observed_orcids":["https://orcid.org/0000-0002-8795-0847"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jintian Lu","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8795-0847","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064086607","display_name":"Xudong He","orcid":"https://orcid.org/0000-0002-2007-2576","observed_orcids":["https://orcid.org/0000-0002-2007-2576"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xudong He","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2007-2576","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113893446","display_name":"Yitong Yang","orcid":"https://orcid.org/0000-0001-5855-7248","observed_orcids":["https://orcid.org/0000-0001-5855-7248","https://orcid.org/0009-0000-7734-490X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yitong Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101658996","display_name":"Dejun Wang","orcid":"https://orcid.org/0000-0003-1370-8190","observed_orcids":["https://orcid.org/0000-0003-1370-8190","https://orcid.org/0009-0009-2679-7875"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dejun Wang","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-1370-8190","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5090025906","display_name":"Bo Meng","orcid":"https://orcid.org/0000-0002-4377-0051","observed_orcids":["https://orcid.org/0000-0002-4377-0051"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bo Meng","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":0.1175,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.46539418,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":94},"biblio":{"volume":"22","issue":null,"first_page":"80","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9452999830245972,"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.9452999830245972,"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/T10927","display_name":"Access Control and Trust","score":0.03009999915957451,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.005100000184029341,"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/identity-federation","display_name":"identity federation","score":0.9580000042915344},{"id":"https://openalex.org/keywords/saml-2-0","display_name":"SAML 2.0","score":0.9739999771118164},{"id":"https://openalex.org/keywords/security-protocols","display_name":"security protocols","score":0.75},{"id":"https://openalex.org/keywords/protocol-verification","display_name":"protocol verification","score":0.7039999961853027},{"id":"https://openalex.org/keywords/proverif","display_name":"ProVerif","score":0.9449999928474426},{"id":"https://openalex.org/keywords/symbolic-models","display_name":"symbolic models","score":0.8799999952316284},{"id":"https://openalex.org/keywords/automated-verification","display_name":"automated verification","score":0.6980000138282776},{"id":"https://openalex.org/keywords/protocol-security","display_name":"protocol security","score":0.43799999356269836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6290029287338257},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.5878594517707825},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.5440064072608948},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.531394362449646},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.477373331785202},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4504682123661041},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4148210883140564},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3202380836009979},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.28448009490966797},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.14917990565299988},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:3003189122","doi":null,"is_oa":false,"landing_page_url":"http://ijns.jalaxy.com.tw/contents/ijns-v22-n1/ijns-2020-v22-n1-p80-92.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S189576285","display_name":"International journal of network security","issn_l":"1816-353X","issn":["1816-353X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Int. J. Netw. Secur.","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1661541596","https://openalex.org/W1761980997","https://openalex.org/W1990505981","https://openalex.org/W2162518440","https://openalex.org/W2604294854","https://openalex.org/W2620656927","https://openalex.org/W2751550350","https://openalex.org/W2766016329","https://openalex.org/W2768085069","https://openalex.org/W2809902715"],"related_works":["https://openalex.org/W2810056554","https://openalex.org/W7172199769","https://openalex.org/W2104578611","https://openalex.org/W2811141904","https://openalex.org/W4392971583","https://openalex.org/W1990505981","https://openalex.org/W2745582208","https://openalex.org/W7099930786","https://openalex.org/W7095875313","https://openalex.org/W7027985053"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2020-02-07T00:00:00"}