veridevops Goto Github PK

arqan.action

GitHub Action Security Requirement Analysis with STIG database for Windows platform.

arqan.dataset

Code and datasets of thesis "Classification of Cyber-Security Requirements based on open datasets and GitHub harvesting"

arqan.guthubsecurityissues

classification of github issues: security and others

arqan.guthubsecurityissues.web-interface

arqan_paris

Security Requirement Analysis GitHub Action

cicd_arqan_rqcode_github_actions

Security Requirement Analysis GitHub Action

cicd_arqan_rqcode_gitlab

CICD_ARQAN_RQCODE_GitLab

cicd_arqan_rqcode_jenkins

Portable and flexible Jenkinsfile to perform requirements tagging and STIGs and tests suggestion

completetest

earlytool

An implementation of the approach presented in https://arxiv.org/abs/2201.11628

infuzetool

mmt-dpi

mmt-operator

mmt-probe

mmt-rca

mmt-security

modelioopensource

nalabs

napkin

project-example

Project example setup with CI/CD for VeriDevOps

pylc

The initial version of the automated PLC to Python translation framework, PyLC with support of Function Block Diagram (FBD) language. The framework consists of 4 different Python scripts for importing a PLCopen XML file, parsing it, extracting the information regarding each POU/Block, Python code generation, and finally, translation validation.

rqcode

Java implementation of Requirement as Code concept. STIG requiremeents testing for Windows 10 platform

seafox

thoe

THreat Oracle Engine (documentation only)