☰

Ping Yang, Ph.D.

Affiliations: 
2006 Stony Brook University, Stony Brook, NY, United States 
Area:
Logic Programming, Programming Languages, Verification.
Google:
"Ping Yang"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
C. R. Ramakrishnan grad student 2006 SUNY Stony Brook
 (Verification techniques for mobile processes and security protocols.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Sasturkar A, Yang P, Stoller SD, et al. (2011) Policy analysis for Administrative Role-Based Access Control Theoretical Computer Science. 412: 6208-6234
Stoller SD, Yang P, Gofman MI, et al. (2011) Symbolic reachability analysis for parameterized administrative role-based access control Computers and Security. 30: 148-164
Yang P, Ramakrishnan CR, Smolka SA. (2004) A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution International Journal On Software Tools For Technology Transfer. 6: 38-66
See more...