{"product_id":"gorrieri-roberto-foundations-of-security-analysis-and-design-9783540428961","title":"Foundations of Security Analysis and Design","description":"Mathematical Models of Computer Security.- The Logic of Authentication Protocols.- Access Control: Policies, Models, and Mechanisms.- Security Goals: Packet Trajectories and Strand Spaces.- Notes on Nominal Calculi for Security and Mobility.- Classification of Security Properties.","brand":"Springer","offers":[{"title":"Used - good","offer_id":53286686327126,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540428961_1.jpg?v=1777794272","url":"https:\/\/www.momoxbooks.com\/products\/gorrieri-roberto-foundations-of-security-analysis-and-design-9783540428961","provider":"momoxbooks","version":"1.0","type":"link"}