Information
Flow Analysis of Scientific Workflows, by Ping Yang, Shiyong Lu,
Mikhail Gofman, and Zijiang Yang, to appear, Special issue on scientific
workflows, Journal of Computer and System Sciences (JCSS) , 2009.
Information
Flow Analysis of Scientific Workflows, by Ping Yang, Shiyong Lu,
Mikhail Gofman, and Zijiang Yang, to appear, Special issue on scientific
workflows, Journal of Computer and System Sciences (JCSS) , 2009.
Trustworthy
and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow
Environments, , by Zijiang Yang, Siyong Lu, and Ping 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 Zijiang Yang, Shiyong Lu and Ping
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 Ping Yang, C.R. Ramakrishnan and Scott 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 Ruqian Lu, Chunyi
Shi, Songmao Zhang, X. Mao, Jinghui Xu, Ping Yang and Lu Fan, Scientia
Sinica , Series E, pages 641-652, Dec. 2000.
Incremental
Information Flow Analysis of Role Based Access Control, by Mikhail
Gofman, Ruiqi Luo, Jian He, Yingbin Zhang, and Ping Yang, International
Conference on Security and Management, 2009. [abstract | pdf]
Symbolic
Reachability Analysis for Parameterized Administrative Role Based Access
Control, by Scott D. Stoller, Ping Yang, Mikhail Gofman, and C. R.
Ramakrishnan, 14th ACM symposium on access control models and technologies
(SACMAT), Pages 165--174, © ACM press, 2009. [abstract| pdf]
RBAC-PAT: A
Policy Analysis Tool for Role Based Access Control, by Mikhail
Gofman, Ruiqi Luo, Ayla Solomon, Yingbin Zhang, Ping Yang and Scott D.
Stoller, 15th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS), Pages 46--49, Lecture Notes
in Computer Science, © Springer-Verlag, 2009. [abstract| pdf]
Control
Message Reduction Techniques in Backward Learning Ad Hoc Routing
Protocols, by N. Garepalli, Kartik Gopalan and Ping Yang, 17th
IEEE International Conference on Computer Communications and Networks
(ICCCN), pages 1--6, © IEEE press, 2008 (Best paper candidate).
[pdf]
Secure
Scientific Workflow Provenance Querying with Security Views, by
Artem Chebotko, S. Chang, Shiyong Lu, F Fotouhi and Ping Yang, 9th
International Conference on Web-Age Information Management (WAIM), pages
349-356, © IEEE press, 2008. [pdf]
Formal
Modelling and Analysis of Scientific Workflows Using Hierarchical State
Machines, by Ping Yang, Zijiang Yang and Shiyong 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
Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, and Mikhail Gofman, 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 Zijiang Yang, Shiyong Lu, and Ping Yang, IEEE
International Symposium on Ubisafe Computing, pages 506-511, © IEEE
press, 2007.
Runtime
Security Verification for Itinerary-Driven Mobile Agents, By
Zijiang Yang, Shiyong Lu, Ping 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 Amit
Sasturkar, Ping Yang, Scott 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 Ping Yang,
Samik 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 Ping Yang, Yifei Dong, C.R. Ramakrishnan and Scott 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
Radu Grosu, Xiaowan Huang, Scott A. Smolka and Ping 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 Ping Yang, C.R. Ramakrishnan and Scott 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 Ruqian
Lu, Songmao Zhang, Zhi Jin, Lengning Liu, Guangfeng Ji, Ping Yang, and Lu
Fan, Proc.of the 4th International Symposium on Future Software
Technology, 1999.
Triangle
Pieces Intersection of Collision Detection, by Lu Fan, Ping Yang
and Ruqian 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.
