Visible to the public Toward safe, private, and secure home automation: from formal modeling to user evaluation

Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Toward safe, private, and secure home automation: from formal modeling to user evaluation
Switch to experimental viewer