Investigating security through proof