Pinned Repositories
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
CICD_ARQAN_RQCODE_Github_Actions
Security Requirement Analysis GitHub Action
CompleteTest
Earlytool
An implementation of the approach presented in https://arxiv.org/abs/2201.11628
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
THOE
THreat Oracle Engine (documentation only)
VeriDevOps's Repositories
VeriDevOps/RQCODE
Java implementation of Requirement as Code concept. STIG requiremeents testing for Windows 10 platform
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.
VeriDevOps/CICD_ARQAN_RQCODE_Github_Actions
Security Requirement Analysis GitHub Action
VeriDevOps/CompleteTest
VeriDevOps/Earlytool
An implementation of the approach presented in https://arxiv.org/abs/2201.11628
VeriDevOps/THOE
THreat Oracle Engine (documentation only)
VeriDevOps/ARQAN.action
GitHub Action Security Requirement Analysis with STIG database for Windows platform.
VeriDevOps/ARQAN.dataset
Code and datasets of thesis "Classification of Cyber-Security Requirements based on open datasets and GitHub harvesting"
VeriDevOps/ARQAN.GuthubSecurityIssues
classification of github issues: security and others
VeriDevOps/ARQAN.GuthubSecurityIssues.web-interface
VeriDevOps/ARQAN_Paris
Security Requirement Analysis GitHub Action
VeriDevOps/mmt-security
VeriDevOps/NALABS
VeriDevOps/SEAFOX
VeriDevOps/arqan.front-steamlit
VeriDevOps/CICD_ARQAN_RQCODE_GitLab
CICD_ARQAN_RQCODE_GitLab
VeriDevOps/CICD_ARQAN_RQCODE_Jenkins
Portable and flexible Jenkinsfile to perform requirements tagging and STIGs and tests suggestion
VeriDevOps/Infuzetool
VeriDevOps/mmt-dpi
VeriDevOps/mmt-operator
VeriDevOps/mmt-probe
VeriDevOps/mmt-rca
VeriDevOps/ModelioOpenSource
VeriDevOps/Napkin
VeriDevOps/project-example
Project example setup with CI/CD for VeriDevOps