SPECIFYING SECURITY POLICY: ORCA Ken Birman CS6410.
Sponsored by the National Science Foundation Systematic Experimentation Case Study: Virtual Router Failure Restoration Xuan Liu UMKC/GENI Project Office.