TY - JOUR TI - On Some Cryptographic Protocol AU - Foryƛ, Wit TI - On Some Cryptographic Protocol AB - In this paper we present a cryptographic protocol for a seller - buyer problem and in particular we prove that non-emptiness of a semi-commutative set defined by mappings involved in the protocol is a decidable problem. VL - 2021 IS - Volume 30 PY - 2021 SN - 1732-3916 C1 - 2083-8476 SP - 9 EP - 15 DO - 10.4467/20838476SI.21.001.14382 UR - https://ejournals.eu/en/journal/schedae-informaticae/article/on-some-cryptographic-protocol KW - cryptographic protocol KW - key-code KW - semi-commutativity set