학술논문

Powerful authentication regime applicable to naval OFP integrated development (PARANOID): a vision for non-circumventable code signing and traceability for embedded avionics software
Document Type
JOURNAL
Source
Journal of Defense Analytics and Logistics, 2021, Vol. 5, Issue 1, pp. 46-76.
Subject
e-conceptual-paper
Conceptual paper
cat-MSOP
Management science & operations
Logistics
Military logistics
Software development
Blockchain
Cybersecurity
Operational flight program
Secure development environment
Secure virtual machine
Zero trust
Embedded systems
Mission-critical systems
OFP
DevOps
DevSecOps
Software support activity
SSA
SDE
Permissioned blockchain
Cryptocurrency
Time-limited authorization for developer action
TADA
Code signing
Trusted software guard
SGX
Trusted eXecution technology
TXT
Trusted platform module
Self-hosting
Controlled access blockchain
CABlock
Role-based access control
RBAC
Language
English
ISSN
2399-6439
Abstract
Purpose This paper aims to describe an effort to provide for a robust and secure software development paradigm intended to support DevSecOps in a naval aviation enterprise (NAE) software support activity (SSA), with said paradigm supporting strong traceability and provability concerning the SSA’s output product, known as an operational flight program (OFP). Through a secure development environment (SDE), each critical software development function performed on said OFP during its development has a corresponding record represented on a blockchain. Design/methodology/approach An SDE is implemented as a virtual machine or container incorporating software development tools that are modified to support blockchain transactions. Each critical software development function, e.g. editing, compiling, linking, generates a blockchain transaction message with associated information embedded in the output of a said function that, together, can be used to prove integrity and support traceability. An attestation process is used to provide proof that the toolchain containing SDE is not subject to unauthorized modification at the time said critical function is performed. Findings Blockchain methods are shown to be a viable approach for supporting exhaustive traceability and strong provability of development system integrity for mission-critical software produced by an NAE SSA for NAE embedded systems software. Practical implications A blockchain-based authentication approach that could be implemented at the OFP point-of-load would provide for fine-grain authentication of all OFP software components, with each component or module having its own proof-of-integrity (including the integrity of the used development tools) over its entire development history. Originality/value Many SSAs have established control procedures for development such as check-out/check-in. This does not prove the SSA output software is secure. For one thing, a build system does not necessarily enforce procedures in a way that is determinable from the output. Furthermore, the SSA toolchain itself could be attacked. The approach described in this paper enforces security policy and embeds information into the output of every development function that can be cross-referenced to blockchain transaction records for provability and traceability that only trusted tools, free from unauthorized modifications, are used in software development. A key original concept of this approach is that it treats assigned developer time as a transferable digital currency.