Text this: <A> security model for an operating system for security-critical applications in small office and home environment