{"id":"https://openalex.org/keywords/protocol-verification","display_name":"protocol verification","description":"Formal analysis of a communication protocol to determine whether it satisfies specified correctness or security properties.","display_name_alternatives":["formal protocol verification","verification of communication protocols"],"ids":{"openalex":"https://openalex.org/keywords/protocol-verification","wikidata":null},"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.4001,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.4001,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.1861,"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"}}],"works_count":3205,"cited_by_count":31587,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/protocol-verification","updated_date":"2026-10-25T04:06:18","created_date":"2022-04-12T19:38:12"}