Calculus for composite authorities' policy derivation in shared domains of pervasive computing environments

Proceedings of 11th International Conference on Computer and Information Technology, ICCIT 2008

Volumn , Issue , 2008, Pages 21-28

  Amini, Morteza ^a   Jalili, Rasool ^a  

^a SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

COOPERATIVE SECURITY MANAGEMENT; DEONTIC LOGIC; LOGICAL MODELS; PERVASIVE COMPUTING ENVIRONMENT; POLICY LANGUAGE; POLICY STATEMENTS; SECURITY DOMAINS; SECURITY MANAGEMENT; SECURITY MODEL; SECURITY POLICY;

ABSTRACTING; INDUSTRIAL MANAGEMENT; SECURITY SYSTEMS;

CALCULATIONS;

EID: 66149172248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCITECHN.2008.4803121     Document Type: Conference Paper

References (22)

1. MIT project Oxygenom' 2004. http://oxygen.csail.mit.edu/' Accessed in Nov 2007.
2. M. Abadi' M. Burrows' B. Lampson' and G. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems' 15(4):706-734' September 1993.
3. R. Au' M. Looi' P. Ashley' and L. T. Seet. Secure authorisation agent for cross-domain access control in a mobile computing environment' 2001.
4. S. Barker' M. Leuschel' and M. Varea. Efficient and flexible access control via logic program specialisation. In ACM SIGPLAN symposium on Partial evaluation and semanticsbased program manipulation (PEPM'04)' pages 190-199' Verona' Italy' 2004. ACM Press.
5. S. Barker and P. J. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Transactions on Information and System Security (TISSEC)' 6(4):501-546' 2003.
6. F. Cuppens and R. Demolombe. A deontic logic for reasoning about confidentiality. In 3rd International Workshop on Deontic Logic in Computer Science' pages 66-79' Sesimbra' Portugal' 1996.
7. P. Gama and P. Ferreira. Obligation policies: An enforcement platform. In The 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY' 05' pages 203-212' Stockholm' Sweden' 2005.
8. J. I. Glasgow' G. H. MacEwen' and P. Panangaden. Reasoning about knowledge and permission in secure distributed systems. In First IEEE Computer Security Foundations Workshop (CSFW'88)' pages 139-146' Franconia' New Hampshire' USA' 1988. MITRE Corporation Press.
9. S. Jajodia' P. Samarati' M. L. Sapino' and V. S. Subrahmanian. Flexible support for multiple access control policies. ACM Transaction on Database Systems' 26(2):214-260' 2001.
10. S. Jajodia' P. Samarati' and V. S. Subrahmanian. A logical language for expressing authorizations. In IEEE Symposium on Security and Privacy' pages 31-42' Oakland' CA' USA' 1997.
11. A. Josang' D. Gollmann' and R. Au. A method for access authorisation through delegation networks. In The 2006 Australasian Workshops on Grid Computing and E-Research (ACSW Frontiers '06)' pages 165-174' Hobart' Tasmania' Australia' 2006. Australian Computer Society' Inc.
12. J. B. Joshi' R. Bhatti' E. Bertino' and A. Ghafoor. Accesscontrol language for multidomain environments. IEEE Internet Computing' 8(6):40-50' 2004.
13. L. Kagal' T. Finin' and A. Joshi. Trust-based security in pervasive computing environments. IEEE Computer' 34(12):154-157' 2001.
14. L. Kagal' T. Finin' and A. Joshi. A policy-based approach to security for the semantic web. In 2nd International Semantic Web Conference (ISWC03)' Sanibel Island' Florida' USA' Oct 2003.
15. S. Kaushik' D. Wijesekera' and P. Ammann. Policy-based dissemination of partial web-ontologies. In the 2005 Workshop on Secure Web Services (SWS '05)' pages 43-52' Fairfax' VA' USA' 2005. ACM Press.
16. Z. Liu' A. Ranganathan' and A. Riabov. Specifying and enforcing high-level semantic obligation policies. In The 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07)' pages 119- 128' Bologna' Italy' 2007.
17. M. C. Mont and R. Thyne. A systemic approach to automate privacy policy enforcement in enterprises. In 6th Workshop on Privacy Enhancing Technologies' volume 4258 of Lecture Notes in Computer Science (LNCS)' pages 118-134' Cambridge' UK' 2006. Springer.
18. S. Piromruen and J. B. D. Joshi. An RBAC framework for time constrained secure interoperation in multidomain environments. In the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS05)' pages 36-48' Sedona' Arizona' USA' 2005. IEEE Computer Society.
19. B. Shafiq' J. B. D. Joshi' E. Bertino' and A. Ghafoor. Secure interoperation in a multidomain environment employing rbac policies. IEEE Transactions on Knowledge and Data Engineering' 17(11):1557-1577' 2005.
20. Y. Tang' S. Zhang' and L. Li. A mobile access control architecture for multiple security domains environment. In the International Conference on High Performance Computing and Applications' pages 457-461' Shanghai' P.R. China' 2004. Springer.
21. Z. Tang' R. Li' and Z. Lu. A request-driven role mapping for secure interoperation in multi-domain environment. In The IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007' pages 83-90' Dalian' China' 2007.
22. T. Y. C. Woo and S. S. Lam. Authorizations in distributed systems: A new approach. Journal of Computer Security' 2(2-3):107-136' 1993.