{"product_id":"9783540209553","title":"Lecture Notes in Computer Science: FOSAD 2001\/2002 Tutorial Lectures","description":"\u003ch1\u003eLecture Notes in Computer Science: FOSAD 2001\/2002 Tutorial Lectures\u003c\/h1\u003e \u003ch2\u003eFocardi, Riccardo; Gorrieri, Roberto\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eSecurity is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.\u003c\/p\u003e\n\u003cp\u003eThis book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001\/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to:\u003c\/p\u003e\n\u003cp\u003e- Formal Approaches to Approximating Noninterference Properties\u003c\/p\u003e\n\u003cp\u003e- The Key Establishment Problem\u003c\/p\u003e\n\u003cp\u003e- Name-Passing Calculi and Cryptoprimitives\u003c\/p\u003e\n\u003cp\u003e- Classification of Security Properties; Network Security\u003c\/p\u003e\n\u003cp\u003e- Cryptographic Algorithms for Multimedia Traffic\u003c\/p\u003e\n\u003cp\u003e- Security for Mobility\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2004-01-28\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540209553\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b95547\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 272\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369957023884,"sku":"9783540209553","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540209553.jpg?v=1773967577","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540209553","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}