Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом
Стекло неорганическое и стеклокристаллические материалы. Определение химического состава. Общие требования к методам определения содержания основных химических компонентов