Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules
Shankar, Chetan Shiva
This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.
Permalink
https://hdl.handle.net/2142/81741
Description
Title
Policy-Based Pervasive Systems Management Using Specification-Enhanced Rules
Author(s)
Shankar, Chetan Shiva
Issue Date
2006
Doctoral Committee Chair(s)
Roy Campbell
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Computer Science
Language
eng
Abstract
In this thesis, we propose a rule framework called Event-Condition-Precondition-Action-Postcondition (ECPAP) that contains axiomatic specifications of rule actions, for designing management policies. These specifications formally state the effect of an action using Hoare logic as pre- and post-conditions. This framework facilitates advanced conflict and cycle analysis, determines enforcement order when multiple rules are simultaneously triggered, supports policy exception handling and provides reasoning support for rules with long-running actions. We show how the ECPAP framework enables deterministic policy-based management.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
