A coordinated spatio-temporal access control model for mobile computing in coalition environments

Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005

Volumn 2005, Issue , 2005, Pages

  Fu, Song ^a   Xu, Cheng Zhong ^a  

^a Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COORDINATED SPATIO-TEMPORAL ACCESS CONTROL MODEL; ROLE-BASED ACCESS CONTROL (RBAC) MODEL; SPATIO-TEMPORAL CONSTRAINTS;

CONTROL SYSTEMS; DATA ACQUISITION; MATHEMATICAL MODELS; POLYNOMIALS; SERVERS; STRUCTURED PROGRAMMING;

MOBILE COMPUTING;

EID: 33746316489     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2005.10     Document Type: Conference Paper

References (18)

1. M. Abadi and C. Fournet. Access control based on execution history. In Proc. of 10th Annual Network and Distributed System Symposium (NDSS'03), February 2003.
2. E. Bertino, C. Bettini, E. Ferrari, and P. Samarati. An access control model supporting periodicity constraints and temporal reasoning. ACM Trans. on Database Systems, 23(3):231-285, 1998.
3. E. Bertino, P. A. Bonatti, and E. Ferrari. TRBAC: A temporal rolebased access control model. ACM Transactions on Information and System Security, 4(3):191-233, August 2001.
4. H. Davulcu, M. Kifer, C. Ramakrishnan, and I. Ramakrishnan. Logic based modeling and analysis of workflows. In Proc. of the ACM Symposium on Principles of Database Systems, 1998.
5. G. Edjlali, A. Acharya, and V. Chaudhary. History-based access control for mobile code. In Proc. of ACM Conference on Computer and Communications Security, pages 38-48, 1998.
6. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen (Ed.): Handbook of Theoretical Computer Science, pages 997-1067, Elsevier Science Publishers B.V., 1990.
7. W. Farmer, J. Guttman, and V. Swarup. Security for mobile agents: Authentication and state appraisal. In Proc. of the 4th European Symposium on Research in Computer Security, 1996.
8. D. F. Ferraiolo, J. F. Barkley, and D. R. Kuhn. A role based access control model and reference implementation within a corporate intranet. ACM Transactions on Information and System Security, 2(1):34-64, 1999.
9. E. Freudenthal, T. Pesin, L. Port, E. Keenan, and V. Karamcheti. dRBAC: Distributed role-based access control for dynamic coalition environments. In Proc. of the 22nd Int'l Conference on Distributed Computing Systems, 2002.
10. S. Fu and C.-Z. Xu. Mobile code and security. In Handbook of Information Security, John Wiley & Sons, 2005.
11. M. R. Hansen and C. Zhou. Duration calculus: Logical foundations. Formal Aspects of Computing, 9:283-330, 1997.
12. J. B. D. Joshi, E. Bertino, and A. Ghafoor. Temporal hierarchies and inheritance semantics for GTRBAC. In Proc. the 7th ACM Symposium on Access Control Models and Technologies, 2002.
13. N. M. Karnik and A. R. Tripathi. A security architecture for mobile agents in Ajanta. In Proc. of the 20th Int'l Conference on Distributed Computing Systems, 2000.
14. S.-Y. Lu and C.-Z. Xu. MAIL: A mobile agent itinerary language for correctness and secure assurance. In Proc. of the Int'l Workshop on Mobile Distributed Computing (In conjunction with ICDCS'05), 2005.
15. D. Milojicic, F. Douglis, Y. Panedeine, R. Wheeler, and S. Zhou. Process migration. ACM Computing Surveys, 32(3):241-299, 2000.
16. G. C. Necula. Proof-carrying code. In Proc. of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997.
17. C.-Z. Xu. Naplet: A flexible mobile agent framework for network-centric applications. In Proc. of the Int'l Workshop on Internet Computing and E-Commerce (In conjunction with IPDPS'02), 2002. http://www.ece.eng.wayne.edu/czxu/software/naplet.html.
18. C.-Z. Xu and S. Fu. Privilege delegation and agent-oriented access control in naplet. In Proc. of the Int'l Workshop on Mobile Distributed Computing (In conjunction with ICDCS'03), 2003.