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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Focardi, Riccardo (Επιμελητής έκδοσης), Gorrieri, Roberto (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2946
• Θέματα: 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...

Πίνακας περιεχομένων:

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