A Java Operating System as the Foundation of a Secure Network Operating System