Есть ли аналог ProVerif поддерживающий эмулированные протоколы BB84, SARG04 и им подобные?
Порекомендуйте аналог ProVerif поддерживающий эмулированные протоколы BB84, SARG04 и им подобные. Понимаю, слишком много хочу, но желательно под arch Linux и с бесплатной лицензией.