Proceedings of the 2006 International Workshop on Software Engineering for Secure Systems 2006, Shanghai, China, May 20-21, 2006