К вопросу о безопасности.

Можно просто сформулировать такой базис операций, что изучение его свойств будет тривиальным. Вот в том и задача - выделить базис. Например, в "Эльбрусах" безопасность гарантирована контекстной организацией - сквозным и простым механизмом.