Requirements and Security Models for Post-quantum Cryptography Analysis - O. V. Potii; K. V. Isirova (Mathematical and computer modelling. Series: Technical sciences, 2017)