| dbo:abstract
|
- Das Dolev-Yao-Modell ist ein von Danny Dolev und Andrew Yao vorgeschlagenes formales Modell, in dem interaktive Protokolle beschrieben werden können. Ein solches Modell wird benötigt, um formale Aussagen über solche Protokolle zu treffen. Um solche Aussagen leichter zu treffen, werden vereinfachende Annahmen über die kryptologischen Bestandteile des Protokolls, den Angreifer, das Netzwerk sowie dessen Teilnehmer getroffen. Angewendet wird das Dolev-Yao-Modell in der Kryptologie, um die Sicherheit von Protokollen zu beweisen. Das ursprüngliche Dolev-Yao-Modell kann in zwei Teile gespalten werden, die auch unabhängig voneinander benutzt werden. Das Dolev-Yao-Angreifermodell ist ein klassisches Angreifermodell, mit der Annahme, dass der Angreifer ein aktiver Teilnehmer des Netzes ist und alle darin verkehrende Nachrichten entweder von ihm versendet oder manipuliert werden. Es formalisiert den Angreifer im Netz, indem es ihm bestimmte Fähigkeiten zuweist. Das algebraische Dolev-Yao-Modell formalisiert die Beschreibung eines Protokolls und ersetzt dabei kryptographische Verfahren durch Elemente von Termalgebren. (de)
- The Dolev–Yao model, named after its authors Danny Dolev and Andrew Yao, is a formal model used to prove properties of interactive cryptographic protocols. (en)
- Модель угрозы Долева — Яо — модель, предложенная в 1981 году и А. Яо, широко используемая в криптографии для описания среды, в которой происходит обмен шифрованными сообщениями, в особенности — при построении криптодоказующих программ. Согласно модели, в такой уязвимой сети (например, Интернет) злоумышленник обладает следующими возможностями:
* Злоумышленник может получить любое сообщение, передаваемое по сети.
* Злоумышленник является авторизованным пользователем сети, и поэтому, в частности, имеет право устанавливать соединение с любым другим пользователем.
* Злоумышленник может стать стороной, принимающей сообщения от любой передающей стороны.
* Злоумышленник может посылать любому пользователю сообщения от имени любого другого пользователя. Проще говоря, в модели Долева — Яо любое сообщение, отправляемое по сети, должно рассматриваться как неизбежно проходящее через злоумышленника либо как посланное им. Тем не менее, злоумышленник не является всемогущим. В частности, в модели на него накладываются следующие ограничения:
* не может угадывать случайные числа, выбранные из достаточно большого множества;
* не может расшифровать не имея ключа, либо корректно зашифровать сообщение при условии использования некоторого идеального алгоритма шифрования;
* не может найти секретный ключ по открытому ключу (при использовании криптосистем с открытым ключом);
* контролируя средства связи, злоумышленник, тем не менее, не может получить доступ к закрытым, внутренним ресурсам, например, к памяти или жёсткому диску пользователя. Модель Долева — Яо используется при рассмотрении протоколов аутентификации и авторизации в телекоммуникационных сетях. (ru)
|
| rdfs:comment
|
- The Dolev–Yao model, named after its authors Danny Dolev and Andrew Yao, is a formal model used to prove properties of interactive cryptographic protocols. (en)
- Das Dolev-Yao-Modell ist ein von Danny Dolev und Andrew Yao vorgeschlagenes formales Modell, in dem interaktive Protokolle beschrieben werden können. Ein solches Modell wird benötigt, um formale Aussagen über solche Protokolle zu treffen. Um solche Aussagen leichter zu treffen, werden vereinfachende Annahmen über die kryptologischen Bestandteile des Protokolls, den Angreifer, das Netzwerk sowie dessen Teilnehmer getroffen. Angewendet wird das Dolev-Yao-Modell in der Kryptologie, um die Sicherheit von Protokollen zu beweisen. (de)
- Модель угрозы Долева — Яо — модель, предложенная в 1981 году и А. Яо, широко используемая в криптографии для описания среды, в которой происходит обмен шифрованными сообщениями, в особенности — при построении криптодоказующих программ. Согласно модели, в такой уязвимой сети (например, Интернет) злоумышленник обладает следующими возможностями: Модель Долева — Яо используется при рассмотрении протоколов аутентификации и авторизации в телекоммуникационных сетях. (ru)
|
