It seems that Matt Blaze (of NSA Clipper Chip fame) has written a paper on how safe security works and how safe techniques could help computer security. An excerpt: This paper is a general survey of safe and vault security from a computer science perspective, with emphasis on the metrics used to evaluate these systems [...]
