Zhongyuan Xu Ph.D Student Department of Computer Science Stony Brook University Stony Brook, NY 11794  USA E-mail:zhoxu at cs dot stonybrook dot edu

I am a Ph.D student at Stony Brook University. My advisor is Prof. Scott D. Stoller.

My primary research interest includes security policy design and analysis, role based access control system analysis, role engineering using data mining technique and model checking.

Education

Conference Publications

1. Zhongyuan Xu and Scott D. Stoller. "Mining Parameterized Role-Based Policies." In Proceedings of the Third ACM Conference on Data and Application Security and Privacy (CODASPY). © ACM Press, 2013.

2. Zhongyuan Xu and Scott D. Stoller. "Algorithms for Mining Meaningful Roles." In Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT). © ACM Press, 2012.
3. Puneet Gupta, Scott D. Stoller, and Zhongyuan Xu. "Abductive Analysis of Administrative Policies in Rule-based Access Control." In Proceedings of the Seventh International Conference on Information Systems Security (ICISS 2011), volume 7093 of Lecture Notes in Computer Science, pages 116-130. © Springer-Verlag, 2011.
4. Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu, Chunxiang Xu. "A new model for model checking: cycle-weighted Kripke structure." Frontiers of Computer Science in China 4(1) page: 78-88 2010
5. Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao. "On Model Checking Boolean BI." page: 302-316 CSL 2009
6. Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu. "A New Temporal Logic CTL[k-QDDC] and Its Verification." page: 235-238 COMPSAC 2008

Projects

Recent Projects

Working Experience

Skills

Links