Mohammad Ashiqur Rahman

1 ta ish

Tennessee Technological University

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