Verification techniques for policy based systemsErisa KarafiliStephen Pipeset al.2017SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Next generation firewalls for dynamic coalitionsSaritha ArunkumarStephen Pipeset al.2017SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017