Proceedings of the fourth international workshop on Software engineering for secure systems