Abstract: A general result is proved for constructions which use a pseudo-random function (PRF) with a “small” domain to build a PRF with a “large” domain. This result is used to analyse a new ...

Representing the sequential-parallel control algorithm in the form of a diagram makes the program transparent, and the possibility of using Petri net analysis tools allows for formal verification of ...