# VerioT

**Repository Path**: zc159/VerioT

## Basic Information

- **Project Name**: VerioT
- **Description**: 检测跨云物联网设备授权机制的漏洞
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 7
- **Created**: 2023-02-13
- **Last Updated**: 2023-02-13

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# VerioT
The VerioT.py is the source code of our tool VerioT. 
The source code of the base model is in the "baseModel" folder. 
The delegation operation templates are listed in the "templates" folder. 
In "Example" folder, we illustrate the delegation settings and verification results of real-world IoT delegation (Flaw 1, 2, 3 and 5 in our paper), including the configuration file (the delegation setting), the generated model and the flaw report output by VerioT.
More details and instructions will be uploaded/updated later.