{"id":"https://openalex.org/W2897389904","doi":"https://doi.org/10.1007/978-3-030-03044-5_12","title":"A Methodology for Protocol Verification Applied to EMV\u00ae\u00a01","display_name":"A Methodology for Protocol Verification Applied to EMV\u00ae\u00a01","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2897389904","doi":"https://doi.org/10.1007/978-3-030-03044-5_12","mag":"2897389904"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-03044-5_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-03044-5_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5016733090","display_name":"Leo Freitas","orcid":"https://orcid.org/0000-0001-9661-563X"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Leo Freitas","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle upon Tyne, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080667921","display_name":"Paolo Modesti","orcid":"https://orcid.org/0000-0002-2523-1847"},"institutions":[{"id":"https://openalex.org/I5728261","display_name":"University of Sunderland","ror":"https://ror.org/04p55hr04","country_code":"GB","type":"education","lineage":["https://openalex.org/I5728261"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paolo Modesti","raw_affiliation_strings":["School of Computer Science, University of Sunderland, Sunderland, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Sunderland, Sunderland, UK","institution_ids":["https://openalex.org/I5728261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053832957","display_name":"Martin Emms","orcid":"https://orcid.org/0000-0001-6504-0132"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Martin Emms","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle upon Tyne, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5016733090"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.6282,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84419418,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"180","last_page":"197"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9991000294685364,"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.9991000294685364,"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/T13999","display_name":"Digital Rights Management and Security","score":0.9988999962806702,"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"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9746000170707703,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.8180185556411743},{"id":"https://openalex.org/keywords/trademark","display_name":"Trademark","score":0.7306075692176819},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.6697716116905212},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5923165678977966},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5745817422866821},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5675614476203918},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5356288552284241},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32441264390945435},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.19467756152153015},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08424979448318481},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07637014985084534}],"concepts":[{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.8180185556411743},{"id":"https://openalex.org/C2779027411","wikidata":"https://www.wikidata.org/wiki/Q167270","display_name":"Trademark","level":2,"score":0.7306075692176819},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.6697716116905212},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5923165678977966},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5745817422866821},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5675614476203918},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5356288552284241},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32441264390945435},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.19467756152153015},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08424979448318481},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07637014985084534},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-03044-5_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-03044-5_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:eprint.ncl.ac.uk:253527","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402485","display_name":"Newcastle University ePrints (Newcastle Univesity)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I84884186","host_organization_name":"Newcastle University","host_organization_lineage":["https://openalex.org/I84884186"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:https://research.tees.ac.uk/ws/oai:openaire/783eea3a-a4ec-4af5-a7af-367df5962af3","is_oa":false,"landing_page_url":"https://research.tees.ac.uk/en/publications/783eea3a-a4ec-4af5-a7af-367df5962af3","pdf_url":null,"source":{"id":"https://openalex.org/S4306401198","display_name":"TeesRep (Teesside University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874055015","host_organization_name":"Teesside University","host_organization_lineage":["https://openalex.org/I874055015"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Freitas, L, Modesti, P & Emms, M 2018, A Methodology for Protocol Verification Applied to EMV 1. in T Massoni & M R Mousavi (eds), Formal Methods : Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. vol. 11254, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11254 LNCS, Springer, pp. 180-197. https://doi.org/10.1007/978-3-030-03044-5_12","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/9"},{"display_name":"Partnerships for the goals","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G732396245","display_name":null,"funder_award_id":"EP/N023641/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7904777936","display_name":null,"funder_award_id":"EP/R007209/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W6894442","https://openalex.org/W96987881","https://openalex.org/W174979378","https://openalex.org/W1490052377","https://openalex.org/W1510395564","https://openalex.org/W1554296340","https://openalex.org/W1967762279","https://openalex.org/W1970495662","https://openalex.org/W2000245583","https://openalex.org/W2002789557","https://openalex.org/W2003313790","https://openalex.org/W2029693536","https://openalex.org/W2096473396","https://openalex.org/W2096686131","https://openalex.org/W2104254650","https://openalex.org/W2114189125","https://openalex.org/W2118870447","https://openalex.org/W2127534883","https://openalex.org/W2132544882","https://openalex.org/W2143190626","https://openalex.org/W2159566525","https://openalex.org/W2181572248","https://openalex.org/W2226491245","https://openalex.org/W2257753515","https://openalex.org/W2283639926","https://openalex.org/W2293715571","https://openalex.org/W2293889868","https://openalex.org/W2294491635","https://openalex.org/W2296575472","https://openalex.org/W2318940639","https://openalex.org/W2603765621","https://openalex.org/W2610587977","https://openalex.org/W2618017145","https://openalex.org/W2769578747","https://openalex.org/W2897060006","https://openalex.org/W2971615586","https://openalex.org/W6601087228"],"related_works":["https://openalex.org/W4384856174","https://openalex.org/W4244820566","https://openalex.org/W2977662092","https://openalex.org/W2378475673","https://openalex.org/W4285545588","https://openalex.org/W2371230266","https://openalex.org/W4234523877","https://openalex.org/W2392759593","https://openalex.org/W4389567081","https://openalex.org/W2378239058"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}