Precise language to reason precisely

"In the end, programs are just mathematics, and you can reason about them mathematically"
-- Gerwin Klein, NICTA, "Universal kernel code to keep computers safe," NewScientist, 28 August 2009.

Security through obscurity (or through litigation)

The DMCA imposes a serious restriction on the freedom of speech. The DMCA makes it illegal to talk about certain security systems. The equivalent law for non-digital protection systems would make it illegal to warn people about a cheap and very weak door lock being installed on their houses because criminals could also use that same information.
-- Niels Ferguson, "Censorship in action: why I don't publish my HDCP results," The Risks Digest, Volume 21: Issue 61