Skip to main content
← Back to work

Works citing this work

2 works

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