S. E. Prokopev, “Cryptographic stack machine notation one”, Proceedings of ISP RAS, 30:3 (2018), 165–182
2010
2.
S. E. Prokopyev, “Using temporary logics and model checkers for dynamic control abnormal deviations of the system”, Prikl. Diskr. Mat., 2010, no. 1(7), 37–42
2009
3.
S. E. Prokopyev, “Modelling of the PKI protocols in the universally composable framework using model checkers”, Prikl. Diskr. Mat., 2009, no. 1(3), 79–92
Contact us: