Towards High Assurance Networks of Virtual Machines