Theodore A Linden

• Operating system structures to support security and reliable software