Cryptographic Stack Machine Notation One

Συγγραφείς: S E Prokopev

Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 165-182 (2018)

Θεματικοί όροι: язык спецификаций криптографических протоколов, нотация сообщений криптографических протоколов, Electronic computers. Computer science, tls, QA75.5-76.95, криптографическая стековая машина, встроенные предметно-ориентированные языки, haskell, proverif

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/3/isp_30_2018_3_165.pdf
https://doaj.org/article/f0d8ace6260f4a9e88aff5554f8a12e3
https://cyberleninka.ru/article/n/cryptographic-stack-machine-notation-one
https://cyberleninka.ru/article/n/cryptographic-stack-machine-notation-one/pdf