Journal Papers

Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments, , by Z. Yang, S. Lu, and P. Yang, to appear, Journal of Autonomic and Trusted Computing (JoATC)

Model Checking Approach to Itinerary-based Access Control Enforcement of Mobile Tasks in Scientific Workflows, by Z. Yang, S. Lu and P. Yang, to appear, Journal of Autonomic and Trusted Computing [pdf].

A Logical Encoding of the Pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution , by P. Yang, C.R. Ramakrishnan and S. A. Smolka, International Journal on Software Tools for Technology Transfer, 6(1), pages 38--66, June 2004, © Springer-Verlag. [abstract| bibtex| pdf]

Agent-Oriented Commonsense Knowledge Base, by R. Lu, C. Shi, S. Zhang, X.Mao, J. Xu, P. Yang and L. Fan, Scientia Sinica , Series E, pages 641-652, Dec. 2000.

Refereed Conference/Workshop Papers

Control Message Reduction Techniques in Backward Learning Ad Hoc Routing Protocols, by N. Garepalli, K. Gopalan and P. Yang, 17th IEEE International Conference on Computer Communications and Networks (ICCCN), pages, © IEEE press, 2008 (Best paper candidate).

Secure Scientific Workflow Provenance Querying with Security Views, by A. Chebotko, S. Chang, S. Lu, F Fotouhi and P. Yang, 9th International Conference on Web-Age Information Management (WAIM), pages 349-356, © IEEE press, 2008.

Formal Modelling and Analysis of Scientific Workflows Using Hierarchical State Machines, by P. Yang, Z. Yang and S. Lu, 2nd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science, held in conjuction with IEEE international conference on e-science and grid computing, pages 619-626, © IEEE press, 2007. [abstract| bibtex| pdf]

Efficient Policy Analysis for Administrative Role Based Access Control, By S. D. Stoller, P. Yang, C. R. Ramakrishnan, and M. Gofman, to appear, 14th ACM Conference on Computer and Communications Security (CCS), pages 445-455, © ACM press, 2007. [abstract| bibtex| pdf]

Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows, By Z. Yang, S. Lu, and P. Yang, IEEE International Symposium on Ubisafe Computing, pages 506-511, © IEEE press, 2007.

Runtime Security Verification for Itinerary-Driven Mobile Agents, By Z. Yang, S. Lu, P. Yang, 2nd IEEE Symposium on Dependable Autonomic and Secure Computing (DASC), pages 177-186, © IEEE Press, 2006. [abstract| bibtex]

Policy Analysis for Administrative Role Based Access Control, by A. Sasturkar, P. Yang, S. D. Stoller and C.R. Ramakrishnan, 19th IEEE Computer Security Foundations Workshop (CSFW), pages 124-138, © IEEE Press, 2006. [abstract| bibtex| pdf]

Parameterized Verification of Pi-Calculus Systems, by P. Yang, S. Basu and C.R.Ramakrishnan, 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 42-57, lecture notes in computer science, © Springer-Verlag, 2006. [abstract| bibtex| pdf| technical report]

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes, by P. Yang, Y. Dong, C.R. Ramakrishnan and S. A. Smolka, Seventh International Symposium on Practical Aspects of Declarative languages, pages 113-127, lecture notes in computer science, © Springer-Verlag, 2005 (Most Practical Paper Award). [abstract| bibtex| pdf]

Monte Carlo Analysis of Security Protocols: Needham-Schroeder Revisited, by R. Grosu, X. Huang, S. A. Smolka and P. Yang, DIMACS workshop on Security Analysis of Protocols, June 2004. [abstract| bibtex| pdf]

A Logical Encoding of the Pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution, by P. Yang, C.R. Ramakrishnan and S. A. Smolka, Fourth International Conference on Verification, Model Checking and Abstract Interpretation, pages 116-131, lecture notes in computer science, © Springer-Verlag, 2003. [abstract| bibtex| ps]

Talk to Computer in a Natural Way, by R. Lu, S. Zhang, Z. Jin, L. Liu, G. Ji, P. Yang, and L. Fan, Proc.of the 4th International Symposium on Future Software Technology, 1999.

Triangle Pieces Intersection of Collision Detection, by L. Fan, P. Yang and R. Lu, Proc. of the International Symposium on Future Software Technology, 1998.

An Approach for Transferring User's Requirements to an Application Program Architecture Description (in Chinese), by Y. Xia, H. Zhang and P. Yang, Proc. of the 5th Chinese Artificial Intelligence Conference, 1998.

Ph.D. Thesis

Verification Techniques for Mobile Processes and Security Protocols, P. Yang, Ph.D. Thesis, Stony Brook University, 2006.


Binghamton