Proceedings of 10th Computer Science On-line Conferenceсборник

Статьи, опубликованные в сборнике

---

• 
  • 2021 New Method of Verifying Cryptographic Protocols, Based on the Process Model
  • Mironov Andrew M.
  • в сборнике Proceedings of 10th Computer Science On-line Conference, серия Lecture Notes in Networks and Systems, издательство Springer International Publishing AG (Cham, Switzerland), том 229, с. 95-109 DOI