Foundations of security analysis and design V. FOSAD 2007/2008/2009 tutorial lectures

DOI10.1007/978-3-642-03829-7MaRDI QIDQ2272292zbMATH OpenOpenAlexFDO

Authors

Publication date 11 August 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03829-7

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Data encryption (aspects in computer science) (68P25)

Cited in

(5)

• Foundations of security analysis and design II. FOSAD 2001/2002 tutorial lectures
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• Foundations of security analysis and design III. FOSAD 2004/2005 tutorial lectures.

This page was built for publication: Foundations of security analysis and design V. FOSAD 2007/2008/2009 tutorial lectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272292)