Formal Model based Specification of Authorization Framework for Ubiquitous Enterprise Computing Environment

With the emergence of new dynamic computing environments, the traditional identity based authorization models are unable to meet multiple attribute based policy requirements through single function based access control model. There is need for a flexible and scalable authorization model that can meet the different protection requirement of the computing system and adapt to the demand of real world security requirements. In this paper a formal authorization model for ubiquitous computing environment is proposed. Ubiquitous computing environment demands a dynamic access control mechanism that can adapt to the changing security requirement of the computing environment. The proposed security model has taken these factors into consideration and adopted a formal approach to design a flexible and scalable model to support intelligent authorization process in ubiquitous computing environment