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)
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.
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.
