文献

J-GLOBAL ID：202002283710287449   整理番号：20A1800379

Haskellにおける認証モジュールマップ【JST・京大機械翻訳】

Authenticated modular maps in Haskell

著者 (5件)： Miraldo Victor Cacciari (Utrecht University, Netherlands) ,  Carr Harold (Oracle Labs, USA) ,  Kogan Alex (Oracle Labs, USA) ,  Moir Mark (Oracle Labs, New Zealand) ,  Herlihy Maurice (Brown University, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： TyDe 2018  ページ： 1-13  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラマが認証マップ(キー値保存)実装を容易に構成できるHaskellライブラリであるハムムを提案した。著者らは,拡張可能な基礎を確立するために,タイプレベルプログラミング技術を使用して,用例ベースマップおよびキャッシュ,ブルームフィルタおよびページング構造のような特徴をサポートするいくつかの用例を,用例ベースマップおよびいくつかの用例を提供した。もう1つの追加は,地図のデータの小さな部分集合のみを含む「要約」と,必要な場合のみの追加データを受信し,検証するための検証者を検証できる。予備性能結果は,参加者がブロックチェーンネットワークをより速く接続するという目標をサポートするために,ハムムを用いて構成された認証マップに対する顕著な可能性を実証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ネットワーク ,  プログラマ ,  ページング ,  キャッシュメモリ ,  *認証
準シソーラス用語： Bloomフィルタ ,  *Haskell , 【Automatic Indexing@JST】

著者キーワード (3件)： 認証データ型 ,  ブロックチェーン ,  Haskell

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (4件)： Haskell ,  認証 ,  モジュール ,  マップ