levindoneto / Placidus

Placidus is a formal verification and management platform for Software Defined Networks, and it has a core that verifies the following properties: conflicts, redundancies and reachability on network topologies.

https://www.youtube.com/watch?v=GInAnGaaBoQ

levindoneto/Placidus Issues

REST API | Conflicts
Closed 4 years ago
Add reverse proxy to the Placidus REST API
Closed 4 years ago
Add x_api_key for the Placidus REST API
Closed 4 years ago
Login / Register Interface
Closed 4 years ago
REST API | Reachability Redundancies
Closed 4 years ago
REST API | Reachability Controller
Closed 4 years ago
Handle creation of multiple instances of the same network
Closed 4 years ago1
Add requirements
Closed 4 years ago
Add: BelongsToTopology information to the vertice of the Graph.
Closed 4 years ago
Implementation of Depth first search
Closed 4 years ago
Implementation of a Mapping Function
Closed 4 years ago
Make the new graph with devices.
Closed 4 years ago
Add CI/CD with Actions
Closed 4 years ago
REST API | Mininet Emulator
Closed 4 years ago2
Add virtualenv
Closed 4 years ago1
Mininet setup with Virtual Box
Closed 4 years ago2
When modify the readme, remove the "The" in "The Placidus..."
Closed 7 years ago
Update the images (3 modules and the Data structure)
Closed 7 years ago
Colocar dados do pôster do sic 2016 no readme (com imagens)
Closed 7 years ago
Atualizar imagem da arquitetura que está no readme.
Closed 7 years ago
Atualizar imagem do algoritmo
Closed 7 years ago
Make the tests for the conflicts and redundances module. Furthermore, plot the graphic using the template in R.
Closed 7 years ago
Put hexadecimal to int method before convert tecimal to bitvector.
Closed 8 years ago
Make the json and csv file from the topology with 20 switches and 140 hosts.
Closed 8 years ago
Make the topologies files (.py) and generate the .csv in the correct format.
Closed 8 years ago
Do commit in the files of google drive.
Closed 8 years ago
Renomear o nome das pastas para fazer referência com o Placidus.
Closed 8 years ago
Implementar BFS.
Closed 8 years ago
Arrumar "autor" para "author" no readme e traduzir o resto para inglês.
Closed 8 years ago
Refactor the defines.
Closed 8 years ago
Fazer estrutura que relaciona switch com host (fora do verificador de reachability)
Closed 8 years ago
Todos matches estão iguais
Closed 8 years ago
Adicionar campo de "visited" nos nodos do grafo.
Closed 8 years ago
Arrumar alocação do matches nos vértices do grafo
Closed 8 years ago
Arrumar ED para a informação de switch ficar apenas no vértice do grafo.
Closed 8 years ago
Consertar makeGraph <-> ruleID list
Closed 8 years ago