Author of the publication

ACPT: A Tool for Modeling and Verifying Access Control Policies.

, , , and . POLICY, page 40-43. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Access control policy evolution: an empirical study., , and . HotSoS, page 28. ACM, (2014)Graph Neural Controlled Differential Equations for Traffic Forecasting., , , and . AAAI, page 6367-6374. AAAI Press, (2022)ACPT: A Tool for Modeling and Verifying Access Control Policies., , , and . POLICY, page 40-43. IEEE Computer Society, (2010)Learning Over Molecular Conformer Ensembles: Datasets and Benchmarks., , , , , , , , , and 3 other author(s). CoRR, (2023)Causal Graph ODE: Continuous Treatment Effect Modeling in Multi-agent Dynamical Systems., , , , , , , , and . CoRR, (2024)Systematic Structural Testing of Firewall Policies., , , and . SRDS, page 105-114. IEEE Computer Society, (2008)Assessing Quality of Policy Properties in Verification of Access Control Policies., , , and . ACSAC, page 163-172. IEEE Computer Society, (2008)Model Checking for Verification of Mandatory Access Control Models and Properties., , , and . International Journal of Software Engineering and Knowledge Engineering, 21 (1): 103-127 (2011)Climate modeling with neural advection-diffusion equation., , , , , and . Knowl. Inf. Syst., 65 (6): 2403-2427 (June 2023)Designing Fast and Scalable XACML Policy Evaluation Engines., , , and . IEEE Trans. Computers, 60 (12): 1802-1817 (2011)