SECURE IMPLEMENTATION OF TRANSITION MACHINE COMPUTER

摘要

A secure implementation of a transition machine utilizing requirements oriented application programming and a hardware executive. The hardware executive is physically separate and protected from data processors executing the application programs and limits access authorization both for program execute and data read and write operations.