Skip to content

Latest commit

 

History

History
15 lines (13 loc) · 519 Bytes

README.md

File metadata and controls

15 lines (13 loc) · 519 Bytes

SAFECHAIN: Securing Trigger-Action Programming from Attack Chains

Dependencies

  • NuSMV: make sure the NuSMV executable is in your PATH.
  • Python3 package: networkx

Example

example.py gives an example of how to check privacy leakage for the following scenario:

  • The automation rule set to be "When get home, turn on the Hue light."
  • Attackers can observe the state of the light.
  • Users would like to prevent attackers from knowing whether they are at home or not.