{"id":"https://openalex.org/W1965722552","doi":"https://doi.org/10.1016/s0140-3664(99)00030-4","title":"Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification","display_name":"Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification","publication_year":1999,"publication_date":"1999-05-01","ids":{"openalex":"https://openalex.org/W1965722552","doi":"https://doi.org/10.1016/s0140-3664(99)00030-4","mag":"1965722552"},"language":"en","primary_location":{"id":"doi:10.1016/s0140-3664(99)00030-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0140-3664(99)00030-4","pdf_url":null,"source":{"id":"https://openalex.org/S115004586","display_name":"Computer Communications","issn_l":"0140-3664","issn":["0140-3664","1873-703X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Communications","raw_type":"journal-article"},"type":"article","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/A5091815745","display_name":"Stefanos Gritzalis","orcid":"https://orcid.org/0000-0002-8037-2191"},"institutions":[{"id":"https://openalex.org/I40479246","display_name":"Technological Educational Institute of Athens","ror":"https://ror.org/044m46d61","country_code":"GR","type":"education","lineage":["https://openalex.org/I40479246"]},{"id":"https://openalex.org/I98805295","display_name":"University of the Aegean","ror":"https://ror.org/03zsp3p94","country_code":"GR","type":"education","lineage":["https://openalex.org/I98805295"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"S Gritzalis","raw_affiliation_strings":["Department of Informatics, Technological Educational Institute (T.E.I.) of Athens, Ag. Spiridonos St., Aegaleo, Athens GR-12243, Greece","Department of Information and Communication Systems, University of Aegean, Research Unit, 30 Voulgaroktonou St., Athens GR-11472, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Technological Educational Institute (T.E.I.) of Athens, Ag. Spiridonos St., Aegaleo, Athens GR-12243, Greece","institution_ids":["https://openalex.org/I40479246"]},{"raw_affiliation_string":"Department of Information and Communication Systems, University of Aegean, Research Unit, 30 Voulgaroktonou St., Athens GR-11472, Greece","institution_ids":["https://openalex.org/I98805295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021948425","display_name":"Diomidis Spinellis","orcid":"https://orcid.org/0000-0003-4231-1897"},"institutions":[{"id":"https://openalex.org/I98805295","display_name":"University of the Aegean","ror":"https://ror.org/03zsp3p94","country_code":"GR","type":"education","lineage":["https://openalex.org/I98805295"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"D Spinellis","raw_affiliation_strings":["Department of Information and Communication Systems, University of the Aegean, Samos GR-83200, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Communication Systems, University of the Aegean, Samos GR-83200, Greece","institution_ids":["https://openalex.org/I98805295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010773683","display_name":"Panagiotis Georgiadis","orcid":"https://orcid.org/0000-0003-4889-1095"},"institutions":[{"id":"https://openalex.org/I200777214","display_name":"National and Kapodistrian University of Athens","ror":"https://ror.org/04gnjpq42","country_code":"GR","type":"education","lineage":["https://openalex.org/I200777214"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"P Georgiadis","raw_affiliation_strings":["Department of Informatics, University of Athens, TYPA Buildings, Athens GR-15771, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Athens, TYPA Buildings, Athens GR-15771, Greece","institution_ids":["https://openalex.org/I200777214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5091815745"],"corresponding_institution_ids":["https://openalex.org/I40479246","https://openalex.org/I98805295"],"apc_list":{"value":2300,"currency":"USD","value_usd":2300},"apc_paid":null,"fwci":4.7906,"has_fulltext":false,"cited_by_count":72,"citation_normalized_percentile":{"value":0.94923053,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"22","issue":"8","first_page":"697","last_page":"709"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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.9998999834060669,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9976999759674072,"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.9937000274658203,"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/computer-science","display_name":"Computer science","score":0.8954101204872131},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.7301942110061646},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.702613115310669},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.7017821073532104},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5540534257888794},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.5239096879959106},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.48823168873786926},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4819774031639099},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4555933475494385},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.43375542759895325},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.39797040820121765},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36465051770210266},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22785335779190063}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8954101204872131},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.7301942110061646},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.702613115310669},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7017821073532104},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5540534257888794},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.5239096879959106},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.48823168873786926},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4819774031639099},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4555933475494385},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.43375542759895325},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.39797040820121765},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36465051770210266},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22785335779190063},{"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s0140-3664(99)00030-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0140-3664(99)00030-4","pdf_url":null,"source":{"id":"https://openalex.org/S115004586","display_name":"Computer Communications","issn_l":"0140-3664","issn":["0140-3664","1873-703X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Communications","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.42.3102","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3102","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://kerkis.math.aegean.gr/~dspin/pubs/jrnl/1997-CompComm-Formal/html/formal.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.455.2186","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.2186","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dmst.aueb.gr/dds/pubs/jrnl/1997-CompComm-Formal/html/journal.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320983","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":105,"referenced_works":["https://openalex.org/W11971752","https://openalex.org/W285353306","https://openalex.org/W1482307864","https://openalex.org/W1497957166","https://openalex.org/W1501891174","https://openalex.org/W1502051745","https://openalex.org/W1520544006","https://openalex.org/W1521083034","https://openalex.org/W1527147447","https://openalex.org/W1531461242","https://openalex.org/W1535987385","https://openalex.org/W1538657331","https://openalex.org/W1555233914","https://openalex.org/W1560253649","https://openalex.org/W1562901937","https://openalex.org/W1586167239","https://openalex.org/W1587893159","https://openalex.org/W1597765364","https://openalex.org/W1670563787","https://openalex.org/W1805567723","https://openalex.org/W1862498160","https://openalex.org/W1893243138","https://openalex.org/W1905433723","https://openalex.org/W1927383947","https://openalex.org/W1939151197","https://openalex.org/W1949661937","https://openalex.org/W1958367842","https://openalex.org/W1966995096","https://openalex.org/W1986353226","https://openalex.org/W1987379210","https://openalex.org/W1991004527","https://openalex.org/W1994676271","https://openalex.org/W2001788001","https://openalex.org/W2003915781","https://openalex.org/W2005594475","https://openalex.org/W2010939995","https://openalex.org/W2012441061","https://openalex.org/W2013672985","https://openalex.org/W2025162846","https://openalex.org/W2029693536","https://openalex.org/W2033083292","https://openalex.org/W2033442660","https://openalex.org/W2037202907","https://openalex.org/W2045071956","https://openalex.org/W2049224403","https://openalex.org/W2052539228","https://openalex.org/W2058129511","https://openalex.org/W2071186137","https://openalex.org/W2074244772","https://openalex.org/W2077025369","https://openalex.org/W2080317287","https://openalex.org/W2081409107","https://openalex.org/W2093305078","https://openalex.org/W2097913369","https://openalex.org/W2100569778","https://openalex.org/W2102786787","https://openalex.org/W2102922499","https://openalex.org/W2105401163","https://openalex.org/W2105750191","https://openalex.org/W2106857693","https://openalex.org/W2115519298","https://openalex.org/W2115674733","https://openalex.org/W2116989825","https://openalex.org/W2120072221","https://openalex.org/W2121372686","https://openalex.org/W2121399553","https://openalex.org/W2123503098","https://openalex.org/W2124679171","https://openalex.org/W2124782811","https://openalex.org/W2127372869","https://openalex.org/W2128932399","https://openalex.org/W2132433568","https://openalex.org/W2134587548","https://openalex.org/W2135378536","https://openalex.org/W2142120435","https://openalex.org/W2143768214","https://openalex.org/W2146973388","https://openalex.org/W2150426251","https://openalex.org/W2150682469","https://openalex.org/W2151461610","https://openalex.org/W2151803723","https://openalex.org/W2152286108","https://openalex.org/W2155032609","https://openalex.org/W2156050784","https://openalex.org/W2164587664","https://openalex.org/W2167006959","https://openalex.org/W2169216703","https://openalex.org/W2170718011","https://openalex.org/W2175137100","https://openalex.org/W2176412652","https://openalex.org/W2339045958","https://openalex.org/W2401806033","https://openalex.org/W2606375621","https://openalex.org/W3125672686","https://openalex.org/W3141056741","https://openalex.org/W3143649921","https://openalex.org/W4237371123","https://openalex.org/W4238159276","https://openalex.org/W4239320703","https://openalex.org/W4243082331","https://openalex.org/W4243222545","https://openalex.org/W4247445674","https://openalex.org/W4254688914","https://openalex.org/W6634210446","https://openalex.org/W6638572489"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W1965722552","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W2136262554"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}