Mối quan hệ là một phần của TCB cho tất cả các NCAs chạy trên một máy tính. Nó phải là nhỏ, vì vậy mà mỗi chủ sở hữu NCA có thể, về nguyên tắc, kiểm tra và tin tưởng việc thực hiện các mối quan hệ. Nó cũng quan trọng là người sử dụng và các nhà phát triển NCA có thể bắt đầu bất kỳ mối và bất cứ ai mà có thể, về nguyên tắc, viết một mối.
đang được dịch, vui lòng đợi..
