Примитивы Seal и Unseal. С помощью примитива Seal программные средства защищают секретное сообщение S и называют программы N, которые имеют доступ к секрету. Когда программа обращается к механизму Unseal в связи с ранее запечатанными данными, секрет открывается лишь в том случае, если имя запрашивающей программы соответствует имени, указанному в блоке запечатанных данных. Красными линиями обозначены отвергнутые запросы Unseal, а зелеными — выполненные запросы Unseal