Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Yang, Ping - Department of Computer Science, State University of New York at Binghamton
Incremental Information Flow Analysis of Role Based Access Mikhail I. Gofman, Ruiqi Luo, Jian He, Yingbin Zhang, and Ping Yang
Policy Analysis for Administrative Role Based Access Control Amit Sasturkar
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Computer Science Department
Secure Scientific Workflow Provenance Querying with Security Views
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Efficient Policy Analysis for Administrative Role Based Access Control
Parameterized Verification of -Calculus Systems , Samik Basu2
MS ID: STTT0136 24 February 2004 11:28 CET
