Foundations of Security Analysis and Design Tutorial Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Focardi, Riccardo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Gorrieri, Roberto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2171
• Θέματα: Computer security.; Data encryption (Computer science).; Operating systems (Computers).; Computer communication systems.; Computers and civilization.; Programming languages (Electronic computers).; Systems and Data Security.; Cryptology.; Operating Systems.; Computer Communication Networks.; Computers and Society.; Programming Languages, Compilers, Interpreters.

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

• Mathematical Models of Computer Security
• The Logic of Authentication Protocols
• Access Control: Policies, Models, and Mechanisms
• Security Goals: Packet Trajectories and Strand Spaces
• Notes on Nominal Calculi for Security and Mobility
• Classification of Security Properties.