Preface to the special issue of selected papers from FCS/VERIFY 2002.

Introduces the Workshop on Foundations of Computer Security and Verification Workshop at the Federated Logic Conference in Copenhagen, Denmark. Significance of computer security as computer systems have more and more effect on various aspects on human life; Increase in interest in logic-based foundations for computer security and in formal analysis methods; Importance of formal approaches in the development of safety and security critical systems.