Anyone heard of this? It seems an interesting read anyway...

http://www.usenix.org/publications/library/proceedings/usenix2000/general/full_papers/seltzer/seltzer_html/index.html