Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009337693/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "Security 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. This 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: - Formal Approaches to Approximating Noninterference Properties - The Key Establishment Problem - Name-Passing Calculi and Cryptoprimitives - Classification of Security Properties; Network Security - Cryptographic Algorithms for Multimedia Traffic - Security for Mobility".
- catalog contributor b13184241.
- catalog contributor b13184242.
- catalog contributor b13184243.
- catalog contributor b13184244.
- catalog created "2004.".
- catalog date "2004".
- catalog date "2004.".
- catalog dateCopyrighted "2004.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Security 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. This 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: - Formal Approaches to Approximating Noninterference Properties - The Key Establishment Problem - Name-Passing Calculi and Cryptoprimitives - Classification of Security Properties; Network Security - Cryptographic Algorithms for Multimedia Traffic - Security for Mobility".
- catalog description "Two formal approaches for approximating noninterference properties / Alessandro Aldini [and others] -- The key establishment problem / Carlo Blundo and Paola D'Arco -- A survey of name-passing calculi and crypto-primitives / Michele Bugliesi [and others] -- Classification of security properties / Riccardo Focardi, Roberto Gorrieri, and Fabio Martinelli -- Cryptographic algorithms for multimedia traffic / Rosario Gennaro -- Security for mobility / Hanne Riis Nielson, Flemming Nielson, and Mikael Buchholtz.".
- catalog extent "vi, 265 p. :".
- catalog identifier "3540209557 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2946".
- catalog issued "2004".
- catalog issued "2004.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.8 22".
- catalog subject "Computer Communication Networks.".
- catalog subject "Computer networks Security measures.".
- catalog subject "Computer science.".
- catalog subject "Computer security.".
- catalog subject "Data encryption (Computer science).".
- catalog subject "Information Systems.".
- catalog subject "Logic design.".
- catalog subject "Operating systems (Computers).".
- catalog subject "QA76.9.A25 F67 2004".
- catalog tableOfContents "Two formal approaches for approximating noninterference properties / Alessandro Aldini [and others] -- The key establishment problem / Carlo Blundo and Paola D'Arco -- A survey of name-passing calculi and crypto-primitives / Michele Bugliesi [and others] -- Classification of security properties / Riccardo Focardi, Roberto Gorrieri, and Fabio Martinelli -- Cryptographic algorithms for multimedia traffic / Rosario Gennaro -- Security for mobility / Hanne Riis Nielson, Flemming Nielson, and Mikael Buchholtz.".
- catalog title "Foundations of security analysis and design II : FOSAD 2001/2002 turorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.).".
- catalog type "Aufsatzsammlung. swd".
- catalog type "text".