31 citations · 35 across the 2 of their papers we have counts for
2 papers
cs.NI2022★ 31 cited
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification
Alan Tang, Ryan Beckett, Steven Benaloh +4
Current network control plane verification tools cannot scale to large networks, because of the complexity of jointly reasoning about the behaviors of all nodes in the network. In…
cs.CR2011★ 4 cited
ARBAC Policy for a Large Multi-National Bank
Karthick Jayaraman, Vijay Ganesh, Mahesh Tripunitara +2
Administrative role-based access control (ARBAC) is the first comprehensive administrative model proposed for role-based access control (RBAC). ARBAC has several features for desig…