2 Ebooks by Giampaolo Bella
Giampaolo Bella: Formal Correctness of Security Protocols
Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is …
PDF
English
DRM
€55.92
Mihai Doinea & Helge Janicke: Innovative Security Solutions for Information Technology and Communications
This book constitutes the refereed post-conference proceedings of the 15th International Conference on Innovative Security Solutions for Information Technology and Communications, Sec ITC 2022, held …
EPUB
English
DRM
€80.77
