Bella, Giampaolo.
Formal Correctness of Security Protocols With 62 Figures and 4 Tables / [electronic resource] : by Giampaolo Bella. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Information Security and Cryptography, Texts and Monographs, 1619-7100 . - Information Security and Cryptography, Texts and Monographs, .
9783540681366
10.1007/978-3-540-68136-6 doi
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.
QA8.9-QA10.3
005.131
Formal Correctness of Security Protocols With 62 Figures and 4 Tables / [electronic resource] : by Giampaolo Bella. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Information Security and Cryptography, Texts and Monographs, 1619-7100 . - Information Security and Cryptography, Texts and Monographs, .
9783540681366
10.1007/978-3-540-68136-6 doi
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.
QA8.9-QA10.3
005.131