Editorial

摘要

This issue of the Journal of Computer Security contains three papers selected from the 7th International Workshop on Issues in the Theory of Security (WITS'07) held on 24-25 March 2007 in Braga, Portugal. WITS is the official workshop organized by the IFIP Working Group 1.7 on "Theoretical Foundations of Security Analysis and Design", established to promote investigation of the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security, and supporting the systematic use of formal techniques in the development of security-related applications.