Modeling Cryptographic Protocols Using Computer Algebra Systems

We present the IT solutions for modeling of cryptographic protocols for educational purposes and compare three approaches. The first approach is based on protocol implementation provided by computer algebra system Sage, the second is based on the MPEI algebraic processor, and the third implementation uses combination of Sage and MPEI algebraic processor. Sage provides excellent implementations of some typical algebraic elements used for cryptographic protocol execution as well as examples of their usage. But Sage does not support remote modeling of cryptographic protocol interactions, while MPEI algebraic processor does. The article proposes an integration of these two systems, which will allow us to use Sage for remote execution of cryptographic protocols via the Internet. Moreover, the algebraic processor can provide access to a more detailed study of the Sage. The importance of studying information security in the context of industrial systems and in particular cryptographic primitives by future IT specialists is emphasized.