Home
World Journal of Advanced Engineering Technology and Sciences
International, Peer reviewed, Referred, Open access | ISSN Approved Journal

Main navigation

  • Home
    • Journal Information
    • Abstracting and Indexing
    • Editorial Board Members
    • Reviewer Panel
    • Journal Policies
    • WJAETS CrossMark Policy
    • Publication Ethics
    • Instructions for Authors
    • Article processing fee
    • Track Manuscript Status
    • Get Publication Certificate
    • Issue in Progress
    • Current Issue
    • Past Issues
    • Become a Reviewer panel member
    • Join as Editorial Board Member
  • Contact us
  • Downloads

ISSN: 2582-8266 (Online)  || UGC Compliant Journal || Google Indexed || Impact Factor: 9.48 || Crossref DOI

Fast Publication within 2 days || Low Article Processing charges || Peer reviewed and Referred Journal

Research and review articles are invited for publication in Volume 18, Issue 2 (February 2026).... Submit articles

Secure-by-design principles in Agile SDLC: Leveraging Formal Verification and AI-Enhanced Code Review in CI/CD Environments

Breadcrumb

  • Home
  • Secure-by-design principles in Agile SDLC: Leveraging Formal Verification and AI-Enhanced Code Review in CI/CD Environments

Tim Abdiukov *

NTS Netzwerk Telekom Service AG, Australia.

Review Article
 
World Journal of Advanced Engineering Technology and Sciences, 2023, 09(01), 494–503.
Article DOI: 10.30574/wjaets.2023.9.1.0149
DOI url: https://doi.org/10.30574/wjaets.2023.9.1.0149

Received on 09 April 2023; revised on 19 May 2023; accepted on 27 May 2023

Tim Abdiukov. Secure-by-design principles in Agile SDLC: Leveraging Formal Verification and AI-Enhanced Code Review in CI/CD Environments. World Journal of Advanced Engineering Technology and Sciences, 2023, 09(01), 494-503. Article DOI: https://doi.org/10.30574/wjaets.2023.9.1.0149 

Secure-by-Design; Agile SDLC; CI/CD; Formal Verification; AI Code Review; DevSecOps; Threat Modeling; Static Analysis; Software Security; Secure Development Lifecycle

https://wjaets.com/sites/default/files/fulltext_pdf/WJAETS-2023-0149.pdf

Get Your e Certificate of Publication using below link

Download Certificate

Preview Article PDF

Tim Abdiukov. Secure-by-design principles in Agile SDLC: Leveraging Formal Verification and AI-Enhanced Code Review in CI/CD Environments. World Journal of Advanced Engineering Technology and Sciences, 2023, 09(01), 494-503. Article DOI: https://doi.org/10.30574/wjaets.2023.9.1.0149 

Get Certificates

Get Publication Certificate

Download LoA

Check Corssref DOI details

Issue details

Issue Cover Page

Editorial Board

Table of content

Copyright © Author(s). All rights reserved. This article is published under the terms of the Creative Commons Attribution 4.0 International License (CC BY 4.0), which permits use, sharing, adaptation, distribution, and reproduction in any medium or format, as long as appropriate credit is given to the original author(s) and source, a link to the license is provided, and any changes made are indicated.

Copyright © 2026 World Journal of Advanced Engineering Technology and Sciences

Developed & Designed by VS Infosolution