3 citations · 3 across the 9 of their papers we have counts for
9 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…
A New Method of Verification of Functional Programs
Andrew M. Mironov
In the paper the problem of verification of functional programs (FPs) over strings is considered, where specifications of properties of FPs are defined by other FPs, and a FP S1 me…
A theory of probabilistic automata, part 1
Andrew M. Mironov
In the book we present main concepts of probabilistic automata theory.
Theory of processes
Andrew M. Mironov
The book gives a detailed exposition of basic concepts and results of a theory of processes. The presentation of theoretical concepts and results is accompanied with illustrations…