Published May 3, 2022
| Version v1
Dataset
Open
IOTCOM: Dissecting Interaction Threats in IoT Systems
Description
Dataset and Alloy models used in the TSE journal version of IoTCOM
Files
alloy_policies.txt
Files
(1.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1f962b69e33cc1de5052c7df2dcbd889
|
25.7 kB | Preview Download |
|
md5:3f6c7471719ba23f45587bbe8133de35
|
30.1 kB | Preview Download |
|
md5:54e9da74d6a75aa47d1ed866ee0e8f07
|
430.6 kB | Preview Download |
|
md5:0cd5391def3baec90ea2d5e6f8e9103d
|
576.2 kB | Preview Download |
|
md5:d741a6f2b5428b0d892ab5cd6a8987b1
|
1.0 kB | Preview Download |
|
md5:9a2d92a35ee466a32d1fdc4629cab327
|
93.7 kB | Preview Download |