TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 OBS

Published in 1994 by the Non-Proliferation, Arms Control and Disarmament Division, Department of Foreign Affairs and International Trade.  1, fiche 1, Anglais, - Toward%20an%20Effective%20Verification%20Regime%20for%20the%20Convention%20on%20Certain%20Conventional%20Weapons%20%3A%20The%20Outline%20of%20an%20Incremental%20Approach

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

Publié en 1994 par la Direction de la non-prolifération et du contrôle des armements et du désarmement, ministère des Affaires étrangères et du Commerce international.  1, fiche 1, Français, - Toward%20an%20Effective%20Verification%20Regime%20for%20the%20Convention%20on%20Certain%20Conventional%20Weapons%3A%20The%20Outline%20of%20an%20Incremental%20Approach

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

Design Versus Verification: is Verification the Wrong Approach? A lot of work in the Computer Security community has concentrated on designing tools to FORMALLY VERIFY the security of cryptographic protocols. On the other hand, in the Cryptographic community research has focused on DESIGNING PROVABLY SECURE PROTOCOLS, i.e., protocols that are as secure as the underling cryptographic primitive. With such protocols, if there is a weakness in the protocol, this can be exploited to break the underlying cryptographic scheme or assumption. Both approaches have had their problems... Jonathan Millen (Mitre: to defend the verification approach).  1, fiche 2, Anglais, - verification%20approach

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol