9
Publications
305
Citations
9
H-Index
2006
Active since
Affiliations
Ammar Masood is an author at Air University specializing in engineering, computer science, and information security.
Top concepts
EngineeringComputer ScienceInformation SecurityVerificationData SecurityFormal MethodsSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2006–2024
9
9
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
Basit Shafiq, Ammar Masood, James Joshi et al. · 2006 · 52 citations
Rows per page
1–5 of 9