3 citations · 3 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
A new method of verification of security protocols
Andrew M. Mironov
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 verificati…
cs.LO2017
A graph model of message passing processes
Andrew M. Mironov
In the paper we consider a graph model of message passing processes and present a method verification of message passing processes. The method is illustrated by an example of a ver…