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

Submitted by JasonGigax on Mon, 06/20/2022 - 10:15am. 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