Secure by Design Matters: How Finite State Makes It Real