Предлагается модель защищённой вычислительной архитектуры со сквозной защитой типов данных и ссылок. Сквозная защита достигается за счёт контроля границ значений типов данных и ссылок и допустимых операций для них. Такой подход делает возможной единообразную защиту ресурсов на всех уровнях: машинных инструкций, прикладных программ, операционной системы. Текущая реализация данной архитектуры произведена через разработку виртуальной машины, работающей поверх существующей операционной системы общего назначения.

A model for secure computer architecture is proposed. The security is provided with protecting values of types and references throughout the machine instructions, operating system, and applications. The protection is achived by means of checking up ranges and operation permissibility for types and references. The implementation of this architecture is made through the development of virtual machine running over the existing operating system.