[nnn]

Here are some parts of the KeyKOS source code: http://css.csail.mit.edu/6.858/2011/readings/keykos/