Janacek, J. A Security Model for an Operating System for Security-Critical Applications in Small Office and Home Environment. Communications 2009, 11, 5-10.