  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.
