"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-032-08249-7","Security Protocols and Threat Models","Security and Privacy via The Applied π-Calculus","Reynaldo Gil-Pons; Ross Horne; Sjouke Mauw; Felix Stutz; Semen Yurkov",2026,"1","https://doi.org/10.1007/978-3-032-08249-7",419,""