FSM Simulation of Cryptographic Protocols Using Algebraic Processor. - Alexander Frolov; Alexander Vinnikov (DepCoS-RELCOMEX, 2014)

Networks Key Distribution Protocols Using KPS. - Alexander Frolov; Alexander Vinnikov (DepCoS-RELCOMEX, 2018)