@article{422,
  author = {Yehia ElRakaiby, Frederic Cuppens, Nora Cuppens-Boulahia},
  title = {Formal Contextual Security Model for Pervasive Computing Applications},
  journal = {Journal of E-Technology},
  year = {2011},
  volume = {1},
  number = {2},
  doi = {},
  url = {http://www.dline.info/jet/fulltext/v2n1/4.pdf},
  abstract = {In this paper, we present a formal contextual security model for pervasive computing applications. This model is developed by addressing the required featurs such as - support of authorization and obligation policies, monitoring and dynamic revocation of access rights, support of personalized security rule contexts, and support of collaborative applications. Besides we design the model in a way to be logic-based. The mdoel is thus elegant as it enables the use of formal policy conflict and dynamic system analysis techniques.},
}