# A new method of verification of security protocols

## TL;DR

This paper introduces a process graph model for security protocols and presents a novel method for their specification and verification, enhancing the analysis of protocol security.

## Contribution

It proposes a new process graph-based model and verification method for security protocols, offering a fresh approach to protocol analysis.

## Key findings

- Effective process graph model for security protocols
- New verification method improves protocol analysis
- Enhances security protocol reliability

## Abstract

In the paper we introduce a process model of security protocols, where processes are graphs with edges labelled by actions, and present a new method of specification and verification of security protocols based on this model.