LifeStir - Your Web Social Network DNA - social networking                           

High Reliability Programming Language: Proposal - New Pervasively Ledgered Encryption Based Secure Network OS (PLEBS NOS)

Group Info

New Pervasively Ledgered Encryption Based Secure Network OS (PLEBS NOS)

New Pervasively Ledgered Encryption Based Secure Network OS (PLEBS NOS)

Proposal for a new OS based on the following requirements:


**Ledgering and journaling of IPC to enhance security.

**All IPC and data transfer sequences encrypted, with decentralized signatures en masse.

**No server caching, all communications via local and transglobal networking with caching at routers.

**Communications and processing with hardware encryption dependent.

**Completely Open Source to prevent ransom demands and back door formations.

**Independent decentralized committee to oversee development (no enterprise or bureaucratic agendas).


Check out the Sticky Forum Topics below for further information about PLEBS NOS, and please comment and criticize constructively.

David Underwood
David Underwood Mar 30 '16

Safe languages with high reliability is an absolute necessity to implement the concepts of PLEBS NOS. This author recommends the SPARK programming language. SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements.


From the Wikipedia website, some of the design objectives of SPARK are:

- logical soundness

- rigorous formal definition

- simple semantics

- security

- expressive power

- verifiability

- bounded resource (space and time) requirements.

- minimal runtime system requirements


SPARK 2014 code can easily be combined with full ADA code or with C, meaning that new systems can be built on and re-use legacy code bases.  SPARK has also been used in secure systems development like the MUEN Separation Kernel.


The MUEN Separation Kernel is the world’s first open source microkernel that has been formally proven to contain no runtime errors at the source code level. A Separation Kernel (SK) is a specialized microkernel that provides an execution environment for components that exclusively communicate according to a given security policy and are otherwise strictly isolated from each other.


The Forum post is edited by David Underwood Mar 30 '16
This topic is sticky
You need to be a group member to post.
web counter
web counter