Formal Correctness of Security Protocols With 62 Figures and 4 Tables - Bella, Giampaolo; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Data protection; Data structures (Computer science).; Artificial intelligence; Telecommunication; Computer Science; Mathematical Logic and Formal Languages; Data Structures, Cryptology and Information Theory; Systems and Data Security; Artificial Intelligence (incl. Robotics).; Communications Engineering, Networks