This document provides an overview of logical approaches to analyzing the security of distributed systems. It discusses cryptographic protocols, web services, and modeling tools. The document is divided into three sections. The first section describes cryptographic protocols and web services. The second section discusses tools for modeling these systems using first-order logic. The third section presents symbolic models for cryptographic protocols and a proposed model for analyzing web services security.