Secure programming flowchart - The Spanner