{"product_id":"software-security-theories-and-systems-mext-nsf-jsps-international-symposium-isss-2002-tokyo-japan-november-8-10-2002-revised-papers-9783540007081","title":"Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers","description":"\u003cp\u003e • Author(s): Mitsuhiro Okada | Benjamin Pierce | Andre Scedrov\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Operating Systems - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eFor more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.\u003c\/p\u003e \u003cp\u003eThis book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47614125965463,"sku":"9783540007081","price":5784.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540007081.webp?v=1775091258","url":"https:\/\/atlanticbooks.com\/products\/software-security-theories-and-systems-mext-nsf-jsps-international-symposium-isss-2002-tokyo-japan-november-8-10-2002-revised-papers-9783540007081","provider":"Atlantic Books","version":"1.0","type":"link"}