account server / large networks / private services / servers leaves systems / internal server / hierarchical bank account example / insecure systems / particular server / bank / private protocol / redefined private server / abstraction-breaking tool / make-account server / /
NaturalFeature
Private channel / /
OperatingSystem
KeyKOS / /
Organization
National Computer Security Center / /
Position
auditor / /
ProgrammingLanguage
Joule / C / C++ / /
Technology
encryption / private protocol / operating system / /
8.Security Many of Joule’s security foundations were drawn from or inspired by KeyKOS, a capability-based operating system that provides NCSC (National Computer Security Center) B3-level security. Security can be thou