Ping Yang, Ph.D. - Publications
Affiliations: | 2006 | Stony Brook University, Stony Brook, NY, United States |
Area:
Logic Programming, Programming Languages, Verification.Year | Citation | Score | |||
---|---|---|---|---|---|
2011 | Sasturkar A, Yang P, Stoller SD, Ramakrishnan CR. Policy analysis for Administrative Role-Based Access Control Theoretical Computer Science. 412: 6208-6234. DOI: 10.1016/J.Tcs.2011.05.009 | 0.461 | |||
2011 | Stoller SD, Yang P, Gofman MI, Ramakrishnan CR. Symbolic reachability analysis for parameterized administrative role-based access control Computers and Security. 30: 148-164. DOI: 10.1016/J.Cose.2010.08.002 | 0.46 | |||
2004 | Yang P, Ramakrishnan CR, Smolka SA. A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution International Journal On Software Tools For Technology Transfer. 6: 38-66. DOI: 10.1007/S10009-003-0136-3 | 0.429 | |||
Show low-probability matches. |