Ehab Al‐Shaer

1 ta ish

University of North Carolina at Charlotte

1. Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement

   Mohammad Ashiqur Rahman, Ehab Al‐Shaer

   Maqola20162 iqtibos

   ABIABI:AkademIndex/2026.other.062426