this implies that the high level security proofs hold for the kernel executable warner's parents divorced when he was six it publishes primarily non fiction books and academic journals in both print and electronic editions