Tony Finch's link log
2014-08-14: Security as a class of interface guarantee.
(long)
(short)
(atom)
(wayback machine)