ГОСТ Р ИСО/МЭК 15408-3-2013
Для обеспечения однозначности в определении оцениваемого экземпляра 00
требуется уникальная маркировка. Обозначение 00 соответствующей маркировкой
дает пользователям 00 возможность знать, какой экземпляр 00 они используют.
13.1.4.2
Элементы действий разработчика
13.1.4.2.1
ALC_CMC.1.1D
Разработчик должен предоставить 00 и маркировку для 00.
13.1.4.3
Элементы содержания и представления свидетельств
13.1.4.3.1
А1_С_СМС.1.1С
00 должен быть помечен уникальной маркировкой.
13.1.4.4
Элементы действий оценщика
13.1.4.4.1
ALC_CAP.1.1E
Оценщикдолженподтвердить,чтопредставленнаяинформация
удовлетворяетвсемтребованиямксодержаниюипредставлению
свидетельств.
13.1.5 ALC_CMC.2 Использование системы УК
Зависимости: ALC_CMS.1 Охват УК ОО
13.1.5.1Цели
Для обеспечения однозначности в определении оцениваемого экземпляра 00
требуется уникальная маркировка. Обозначение 00 соответствующей маркировкой
дает пользователям 00 возможность знать, какой экземпляр 00 они используют.
Уникальная идентификация элементов конфигурации ведет к лучшему
пониманию композиции ОО, что, в свою очередь, способствует определению тех
элементов, на которые направлены требования оценки для ОО.
Использование системы УК увеличивает доверие к тому, что элементы
конфигурации обслуживаются управляемым образом.
13.1.5.2
Элементы действий разработчика
13.1.5.2.1
ALC_CMC.2.1D
Разработчик должен предоставить 00 и маркировку для 00.
13.1.5.2.2ALC СМС.2.2D
137