This paper is a basic introduction to some of the main themes in the design and analysis of security protocols. It includes
a brief explanation of the principles of protocol design and of a formalism for protocol analysis. It is intended as a written
counterpart to a tutorial given at the 2006 International School on Foundations of Security Analysis and Design.