Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Li, Di Long"'
Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automate difficult reasoning processes required to handle protocols at that s
Externí odkaz:
http://arxiv.org/abs/2408.13138
