Foundations of Security Analysis and Design II FOSAD 2001/2002 Tutorial Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Focardi, Riccardo (Editor), Gorrieri, Roberto (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2946
• Subjects: Computer science.; Computer communication systems.; Programming languages (Electronic computers).; Operating systems (Computers).; Data encryption (Computer science).; Computer logic.; Management information systems.; Computer Science.; Data Encryption.; Computer Communication Networks.; Operating Systems.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Management of Computing and Information Systems.

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 applicati...

Table of Contents:

• Two Formal Approaches for Approximating Noninterference Properties
• The Key Establishment Problem
• A Survey of Name-Passing Calculi and Crypto-Primitives
• Classification of Security Properties
• Cryptographic Algorithms for Multimedia Traffic
• Security for Mobility.