lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Analysis of Smart Home Policies using Compositional Verification
2009 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Smart spaces contain a large number of computing devices communicating with each other to perform various high-order tasks. They are governed by predefined policies that users can put according to their preferences. In this paper, we investigate the policy interaction problem beyond the smart home domain. We use a formal method for detecting dynamic conflicts between policies. First, we give an abstract model of the system described with an actor-based language. Then, we identify different kinds of conflicts that may exist among policies in smart home domain. To reduce the complexity of model checking, we use compositional verification as well as data abstraction techniques.

Place, publisher, year, edition, pages
IOS Press, 2009. 220-233 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-42246DOI: 10.3233/978-1-60750-014-8-220ISBN: 978-1-60750-014-8 (print)OAI: oai:DiVA.org:lnu-42246DiVA: diva2:803850
Conference
The International Conference on Feature Interactions in Software and Communication Systems (ICFI)
Available from: 2015-04-13 Created: 2015-04-13 Last updated: 2015-08-18Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Khakpour, Narges
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 37 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf