The call for papers for the 5th ACM Workshop on Formal Methods in Security Engineering (FMSE'07) is online at http://www.mais.informatik.tu-darmstadt.de/fmse07 .