# droneSec

**Repository Path**: JanuaryJIAN/drone-sec

## Basic Information

- **Project Name**: droneSec
- **Description**: droneSec协议的仿真实验python实现
- **Primary Language**: Python
- **License**: GPL-3.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 0
- **Created**: 2021-12-08
- **Last Updated**: 2024-02-29

## Categories & Tags

**Categories**: Uncategorized

**Tags**: Protocol

## README

# droneSec

#### 介绍
droneSec协议的仿真实验python实现以及Proverif安全性验证。

实验代码位于protocol目录，安全性验证位于security_proof目录