|
|
|
|
|
|
|
|
|
Формальная модель политики безопасности
| Глоссарий терминов по информационной безопасности |
Модель политики безопасности, выраженная точным, возможно математическим образом, включающим начальное состояние системы, способы перехода системы из одного состояния в другое и определение "безопасного" состояния системы. еще - математически строгое описание политики безопасности. подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. чтобы быть принятой как основа двб (tcb), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными. примером формальной модели является модель белла-лападула. функциональные требования (спецификации функций безопасности) - подмножество функций ис, относящихся к обеспечению зи. 79 функция скорость-погрешность [ratedistortion function] – часто переводится как энтропия. зависимость предельной скорости кодирования источника с критерием верности ("coding with fidely criterion") от погрешности воспроизведения сообщений.
|
Formal security policy model, английский
|
Определение, русский
- Определение , приговор
- 1. установление, выяснение; 2. объяснение, раскрывающее содержание или смысл чего-либо; 3. форма решения суда первой инстанции.
- Постановление суда или арбитражного суда первой инстанции или судьи, которыми дело не разрешается по существу. о. постановляются судом или судьей в совещательной комнате. при разрешении несложных вопросов суд или судья может вынести о. после совещания на месте, не удаляясь в совещательную комнату. такое о. заносится в протокол судебного заседания. о. оглашаются немедленно после их вынесения. в о. должны быть указаны: время и место вынесения о.; наименование суда, вынесшего о., состав суда и секретарь судебного заседания: лица, участвующие в деле, и предмет спора; вопрос, по которому выносится о.: мотивы, по которым суд пришел к своим выводам, и ссылка на законы, которыми суд руководствовался; постановление суда; порядок и срок обжалования о.
- – понятие, по содержанию и объему отграниченное от др. понятий. определение понятий называется детерминацией. определение человека есть цель и смысл его бытия. взгляд, согласно которому воля человека в каждом случае определена (обусловлена) причинной зависимостью, называется детерминизмом. определенность сущего состоит в том, что в нем может быть (категориальная определенность) высказано (см. категория); если сущее дано в его наглядности, то определенность сущего означает то же самое, что устойчивость, ясность понимания его и ограничение данности. к определяющим моментам сущего относится все то, что составляет его определенное бытие. если все определяющие моменты сущего собраны вместе, то сущее из модуса возможного бытия переходит в модус действительного бытия. пример: определяющие моменты параллелограмма суть то, что 1) параллелограмм образуется из прямых линий, 2) он есть четырехугольник, 3) противолежащие стороны его параллельны. определяющий момент уже создает возможность для образования параллелограмма, затем эта возможность увеличивается с увеличением возможности, она превращается в действительность параллелограмма.
- (дефиниция) ,..1) установление смысла незнакомого термина (слова) с помощью терминов (слов) знакомых и уже осмысленных (номинальное определение) или путем включения в контекст знакомых слов (контекстуальное определение), или явного формулирования равенства (явное, или нормальное, определение), в левую часть которого входит определяемый термин, а в правую - определяющее выражение, содержащее только знакомые термины...2) уточнение предмета рассмотрения, однозначная его характеристика (реальное определение)...3) введение в рассмотрение нового предмета (понятия) посредством указания на то, как этот предмет построить (получить) из предметов данных и уже известных. в последнем случае определение принимает вид системы определяющих соотношений (схем, равенств) или "шагов перехода" (шагов индукции) от явно определенного и известного к искомому неизвестному (рекурсивные и индуктивные определения).
- Уточнение содержания используемых понятий, один из самых надежных способов, предохраняющих от недоразумений в общении, споре и исследовании.
- Пояснение, раскрывающее смысл понятия, даваемое, как правило, в краткой повествовательной форме.
Доказательство, русский
- Доказательство, довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. вещественное доказательство. блис
- , установление (обоснование) истинности высказывания, суждения, теории. в логических доказательствах аргументация проводится по правилам и средствам логики.
- – в самом общем смысле прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или – в том случае, если данное положение оспаривается, – еще раз его дополнить и подтвердить. строгое, или дедуктивно е, доказательство (демонстрация) имеет место в том случае, если данное высказывание подтверждается положениями (основания доказательства, аргументы), которые признаются истинными, так что утверждаемое следует из них как вывод из логического умозаключения. если такое доказательство оказывается невозможным, то следует сделать обратное, т.е. привести в качестве оснований доказательства факты, вытекающие из данного тезиса как его частные случаи, – индуктивное доказательство. если же речь идет только или о правильности, или о ложности данного тезиса, а не об отсутствии возможности выбора между этими двумя тезисами, то далее может быть сделана попытка доказать противоположное данному тезису или опровергнуть то, что затем служит основанием для опровержения или доказательства последнего, – косвенное доказательство. противоположностью доказательства является опровержение; оно состоит в том, что в отношении предмета, о котором что-то утверждается, приводятся факты, из которых это утверждение не может быть выведено. ошибки доказательства могут состоять: 1) в неясности тезиса, который должен быть доказан; 2) в неправильности или ненадежности приведенных оснований доказательства; 3) в формальной неправильности выведения следствия. наиболее известные ошибки доказательства суть следующие: гистеронпротерон, circulus vitiosus, petitio principii, ignoratio elenchi, proton pseudos и quaternio terminorum. от этих ошибок следует отличать: ошибочное умозаключение, логическую уловку и неправильное умозаключение.
- Proof
- Это совокупность логических приемов обоснования истинности тезиса.
- Рассуждение, устанавливающее истинность какоголибо утверждения путем приведения других утверждений, истинность которых уже доказана. в структуре доказательства различают тезис положени
- Метод исследования – теоретическое (логическое) действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. всякое доказа- тельство состоит из трех частей: тезиса, доводов (аргументов) и демонстрации. по способу ведения, доказательства бывают прямые и косвенные, по форме умозаключения – индуктивными и дедук- тивными. правила доказательств: 1. тезис и аргументы должны быть ясными и точно определен- ными. 2. тезис должен оставаться тождественным на протяжении все- го доказательства. 3. тезис не должен содержать в себе логическое противоречие. 4. доводы, приводимые в подтверждение тезиса, сами должны быть истинными, не подлежащими сомнению, не должны противо- речить друг другу и являться достаточным основанием для данного тезиса. 5. доказательство должно быть полным. [36]. 36
Требования, русский
Нормативы в отношении используемых ресурсов или целевые показатели эффективности, предусмотренные законодательством или органами государственной власти. такие требования почти всегда или всегда являются обязательными и должны соблюдаться фирмой. исполнение требований подразумевает расходы, которые фирма обычно перекладывает на потребителя в виде повышения цен (если только у фирмы уже не накоплены достаточные внутренние резервы). несоблюдение требований может повлечь за собой наложение штрафов.
Подмножество, русский
, понятие теории множеств. подмножество множества а - множество в (обозначается в ? а), каждый элемент которого принадлежит а. напр., множество всех четных чисел является подмножеством множества всех целых чисел.
Погрешность, русский
- Погрешность , заблуждение, ошибка
- , разность х-а, где а - данное число, которое рассматривается как приближенное значение некоторой величины, точное значение которой равно х. разность х-а называется также абсолютной погрешностью. отношение х-а к а называется относительной погрешностью числа а.
- Отклонение значения измеренной или вычисленной величины от действительного её значения ввиду неточности измерений или вычислений
- Отклонение результата измерений от действительного (истинного) значения измеряемой величины. погрешность градуировки (graduation error) - погрешность действительного значения величины, приписанного той или иной отметке шкалы средства измерений в результате градуировки.
- Отклонение оцененного значения величины от ее истинного
Зависимость, русский
- Зависимость , неволя, рабство , находиться в зависимости
- От лекарственных препаратов или наркотиков. бывает физиологической, если сам организм нуждается в данном веществе для нормального (скорее, привычного) функционирования, или психологической, если эта потребность – аффективной природы.
- – см. функция, отношение.
- Dependency
Погрешности, русский
- Отклонения (ошибки) привнесенные в результаты измерений в случаях: 1) когда при измерениях допускаются (по причинам разного рода) отступления от строгого их выполнения; 2) если при численных расчетах пользуются приближенными формулами; 3) когда количестве
- Погрешности , грех
- Отклонения (ошибки) привнесенные в результаты измерений в случаях: 1) когда при измерениях допускаются (по причинам разного рода) отступления от строгого их выполнения; 2) если при численных расчетах пользуются приближенными формулами; 3) когда количественные оценки выдаются при недостатке данных; 4) если теория вопроса недостаточно разработана и т. п. см. также погрешность измерения.
Воспроизведения, русский
|
Formal security policy model, английский
Fixedtovariable code, английский
|
|
|
|
|
|
|
