search

ACEMS / ECRretreat2017Nov

ACEMS Early Career Researchers are getting together
2 stars 1 forks source link

Session: Managing a coherent policy in large networks #8

Open dinesharanathunga opened 6 years ago

dinesharanathunga commented 6 years ago

In large communication networks, policies for access-control, quality of service, intrusion detection etc are usually managed by distributed groups of administrators. A common challenge they face is the maintenance of a single, high-level, coherent "global" policy that is free of conflicts. Related works (Netkat,Merlin) propose way to address the problem but the solutions are often too low-level (i.e., policies are tightly coupled with the underlying physical infrastructure). It would be interesting to investigate new ways to achieve this goal using formal foundations.

NetKAT: Semantic foundations for networks, CJ Anderson 2014 Merlin: Programming the Big Switch , R Soule 2014

samclifford commented 6 years ago

Is this geared towards changing the way ACEMS works internally or are we looking at a more academic session?

jesse-jesse commented 6 years ago

I believe the "policy" that Dinesha is talking about is not the same "policy" that Sam is talking about. This is in Network theory right? We might need a little more explanation for us non network theory peeps.

dinesharanathunga commented 6 years ago

Context here is computer networks and policy refers to network configuration policies