I actually found it really interesting that he was working on a high-assurance VPN when he created it to reduce his grunt work: http://cahighways.org/wordpress

I actually found it really interesting that he was working on a high-assurance VPN when he created it to reduce his grunt work: http://cahighways.org/wordpress/?p=8019 http://cahighways.org/wordpress/?p=8019 http://ieeexplore.ieee.org/document/213253/ http://ieeexplore.ieee.org/document/213253/ BLACKER's heavy lifting in security was done by high-assurance kernel called GEMSOS: http://www.cse.psu.edu/~trj1/cse443-s12/docs/ch6.pdf http://www.cse.psu.edu/~trj1/cse443-s12/docs/ch6.pdf It was a classified work for TRW whose details took a long time to get released. Might be why he rarely mentioned the BLACKER project in its origins. Possibly trying to obfuscate it a bit to avoid breaking laws.