抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
セキュア計算は,通常,強力な暗号技術を用いて,任意の感度データを漏洩することなく,個人データ上の関節機能を計算する複数の関係者を可能にする。これらの技法を用いた安全なアプリケーションのライティングは,直接挑戦的であり,安全な計算をアクセスできるいくつかのプログラミング言語とコンパイラの開発をもたらす。残念なことに,これらの言語の多くは,木のような豊富な再帰的データ構造に対するサポートが不足しているか,または限られている。本論文では,構造化データ型の新しい表現を提案し,それは,著者らは,それらを用いて安全な計算を書き込むための言語を呼び出す。この言語は,従属的計算のための構成物と依存型を組み合わせ,セキュリティ型システムを提供し,広告が計算の結果よりも何も学習できないことを確実にするセキュリティ型システムを提供する。この言語を用いて,個人データ上の単一機能を書き込むことができ,次に,それらのデータの望ましい公開ビューに従って,等価セキュアな計算を容易に構築できる。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】