Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif Foundations and Trends(r) in Privacy and Security, nr. 1 Autor Bruno Blanchet 29 oct 2016 Paperback Preț: 483.01 lei 603.76 lei 6-8 săpt. -20%
