Security Specs in the Works