Looking towards the future, it has been said that the ultimate goal of artificial intelligence applied to software engineering is automatic programming, and we might expect to have a system that automatically generates secure software when a user specifies the requirements.