Itinerary-based access control for mobile tasks in scientific workflows

Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07

Volumn 1, Issue , 2007, Pages 506-511

  Yang, Zijiang ^a   Lu, Shiyong ^b   Yang, Ping ^c  

^a WESTERN MICHIGAN UNIVERSITY   (United States)

^b WAYNE STATE UNIVERSITY   (United States)

^c BINGHAMTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; DATA TRANSFER; MOBILE TELECOMMUNICATION SYSTEMS;

MOBILE TASKS; SCIENTIFIC WORKFLOWS;

ACCESS CONTROL;

EID: 35248842015     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINAW.2007.215     Document Type: Conference Paper

References (18)

1. C. Cao and J. Lu. A path-history-sensitive access control model for mobile agent, environment. In ICDCSW '05: Proceedings of the Third International Workshop on Mobile Distributed Computing (MDC) (ICDCSW'05), pages 660-663, Washington, DC, USA, 2005. IEEE Computer Society.
2. W. M. Farmer, J. D. Guttman, and V. Swarup. Security for mobile agents: Authentication and state appraisal. In Proceedings of the Fourth European Symposium on Research in Computer Security, pages 118-130, Rome, Italy, 1996.
3. F. Ivančić, Z. Yang, I. Shlyakhter, M. Ganai, A. Gupta, and P. Ashar. F-SOFT: Software verification platform. In Computer-Aided Verification, pages 301-306. Springer-Verlag, 2005. LNCS 3576.
4. S. Lu. Semantic Correctness of Transactions and Workflows. PhD thesis, State University of New York at Stony Brook, May 2002. Advisor: Dr. Arthur Bernstein.
5. S. Lu. Itinerary safety reasoning and assurance. In C. zhong Xu, editor, Scalable and Secure Internet Services and Architecture, pages 247-262. Chapman & Hall/CRC, 2005.
6. S. Lu, A. Bernstein, and P. Lewis. Completeness and realizability: Conditions for automatic generation of workflows. International Journal of Foundations of Computer Science, 17(1):223-245, 2006.
7. S. Lu and C. zhong Xu. A formal framework for mobile agent itinerary specification, safety reasoning, and logic analysis. In Proc. of the 3rd IEEE International Workshop on Mobile Distributed Computing (MDC05), in conjunction with ICDCS2005, Columbus, OH, USA, 2005.
8. B. Ludascher and C. Goble. Guest editor's introduction to the special section on scientific workflows. SIGMOD Record, 34(3):3-4, Sept. 2005.
9. C. B. Medeiros, J. Perez-Alcazar, L. Digiampietri, G. Z. Pastorello, A. Santanche, R. S. Torres, E. Mladeira, and E. Bacarin. WOODSS and the web: Annotating and reusing scientific workflows. SIGMOD Record, 34(3):18-23, Sept. 2005.
10. G. Navarro, J. Borrell, J. A. Ortega-Ruiz, and S. Robles. Access control with safe role assignment for mobile agents. In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 1235-1236, New York, NY, USA, 2005. ACM Press.
11. Y Simmhan, B. Piale, and D. Gannon. A survey of data provenance in e-science. SIGMOD Record, 34(3):31-36, Sept. 2005.
12. J. Tardo and L. Valente. Mobile agent security and Telescript. In IEEE CompCon '96, pages 58-63, 1996.
13. C. Wang, Z. Yang, F. Ivancic, and A. Gupta. Disjunctive image computation for emebedded software verification. In Design, Automation and Test in Europe (DATE'06), Munich, Germany, Mar. 2006. to appear.
14. M. Wieczorek, R. Prodan, and T. Fahringer. Scheduling of scientific workflows in the ASKALON grid environment. SIGMOD Record, 34(3):57-62, Sept. 2005.
15. Z. Yang, S. Lu, and P. Yang. Runtime security verification for itinerary-driven mobile agents. In Proc. of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, pages 177-186, Indianapolis, USA, September 2006.
16. Z. Yang, S. Lu, and P. Yang. Model checking approach to itinerary-based access control enforcement of mobile tasks in scientific workflows. Journal of Autonomic and Trusted Computing, 2007. To appear.
17. Z. Yang, C. Wang, F. Ivancic, and A. Gupta. Mixed symbolic, representations for model checking software programs. In A CM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode'06), 2006.
18. J. Yu and R. Buyya. A taxonomy of scientific workflow systems for grid computing. SIGMOD Record, 34(3):44-49, Sept. 2005.