翻訳と辞書 Words near each other ・ Cryptothylax ・ Cryptothylax greshoffii ・ Cryptothylax minutus ・ Cryptotia ・ Cryptotope ・ Cryptotrema ・ Cryptotrema corallinum ・ Cryptotrema seftoni ・ Cryptotreta ・ Cryptotriton ・ Cryptotympana ・ Cryptotympanini ・ Cryptotype ・ Cryptovalsa ・ Cryptovenator ・ CryptoVerif ・ Cryptovirology ・ Cryptovision Records ・ Cryptoworks ・ Cryptoxanthin ・ Cryptozoa ・ Cryptozoic Entertainment ・ Cryptozoic Man ・ Cryptozookeeper ・ Cryptozoology ・ CRYPTREC ・ Crypts of Henle ・ Crypturellus ・ Crypturellus reai ・ Cryptych Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク CryptoVerif ： ウィキペディア英語版 CryptoVerif CryptoVerif 〔Bruno Blanchet. A Computationally Sound Mechanized Prover for Security Protocols. In IEEE Symposium on Security and Privacy, pages 140-154, Oakland, California, May 2006.〕 is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet. Contrary to ProVerif by the same creator that uses a symbolic abstraction, it is sound in the computational model. It can prove secrecy and correspondences properties. The latter include in particular authentication. ==Supported cryptographic mechanisms== It provides a mechanism for specifying the security assumptions on cryptographic primitives, which can handle in particular * symmetric encryption, * message authentication codes, * public-key encryption, * signatures, * hash functions. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「CryptoVerif」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.