Safety Policy: NoNetwork

policy NoNetwork = NoNetwork;

About this file

Naccio Home Page
David Evans
University of Virginia, Computer Science