Prokopyev Sergei Evgen'evich

Publications in Math-Net.Ru

1. Cryptographic stack machine notation one
   
   Proceedings of ISP RAS, 30:3 (2018),  165–182
2. Using temporary logics and model checkers for dynamic control abnormal deviations of the system
   
   Prikl. Diskr. Mat., 2010, no. 1(7),  37–42


3. Modelling of the PKI protocols in the universally composable framework using model checkers
   
   Prikl. Diskr. Mat., 2009, no. 1(3),  79–92