E-Book, Englisch, Band 2171, 405 Seiten, eBook
Focardi / Gorrieri Foundations of Security Analysis and Design
Erscheinungsjahr 2003
ISBN: 978-3-540-45608-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Tutorial Lectures
E-Book, Englisch, Band 2171, 405 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-45608-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Weitere Infos & Material
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.