policy NoPeeking =
LimitObserveFiles (10)
+ NoObserveProperty ("user.dir")
+ NoObserveProperty ("java.class.path")
+ NoObserveProperty ("java.home")
+ NoObserveProperty ("user.name")
+ NoObserveDate ();
Naccio Home Page
University of Virginia, Computer Science