Special issue on software engineering for secure systems