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ț: 492.95 lei 616.19 lei 43-57 zile -20%
