Formal Correctness of Security Protocols

Format:: e-book
Title:: Formal Correctness of Security Protocols
Author:: Bella, Giampaolo; Abadi, Martin; Anderson, Ross
Language:: English
Publisher:: Springer Berlin Heidelberg 2007
ISBN:: 3-540-68134-5
3-642-08782-5
9786610864324
1-280-86432-X
3-540-68136-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000284098?locale=en