Ali Noorollahi and Mehran S. Fallah A nonmonotonic modal authorization logic for pervasive computing Security and Communication Networks 8
Modal logics have been employed for authorization in distributed systems. New computing environments, however, pose new challenges in devising appropriate logics. This paper concentrates on the aspects of an effective authorization logic for pervasive computing and develops a nonmonotonic modal logic to this end. In particular, the logic proposed can handle uncertain and imperfect information about the principals and the contexts in which they make their requests.
Complete the form below and we will send an e-mail message containing a link to the selected article on your behalf