7 papers
Verification of MPI programs
Andrew M. Mironov
In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verifi…
A Distributed Process Model of Cryptographic Protocols
Andrew M. Mironov
Cryptographic Protocols (CP) are distributed algorithms intended for secure communication in an insecure environment. They are used, for example, in electronic payments, electronic…
New method of verifying cryptographic protocols based on the process model
A. M. Mironov
A cryptographic protocol (CP) is a distributed algorithm designed to provide a secure communication in an insecure environment. CPs are used, for example, in electronic payments, e…
State diagrams of functional programs
Andrew M. Mironov
In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve prob…
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…
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…