文献

J-GLOBAL ID：202202253786535245   整理番号：22A0309924

データProVe:データ保護ポリシーとシステムアーキテクチャ間の完全自動化適合性検証【JST・京大機械翻訳】

DataProVe: Fully Automated Conformance Verification Between Data Protection Policies and System Architectures

著者 (2件)： Ta Vinh Thong (Edge Hill University, Ormskirk, UK) ,  Eiza Max Hashem (Liverpool John Moores University, Liverpool, UK)
資料名： Proceedings on Privacy Enhancing Technologies (Web)  (Proceedings on Privacy Enhancing Technologies (Web))
巻： 2022  号： 1  ページ： 565-585  発行年： 2022年 
JST資料番号： U8133A  ISSN： 2299-0984  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 設計によるプライバシーとデータ保護は,一般データ保護規制(GDPR)の関連する部分であり,その中で,ビジネスと組織は,データ保護要求を満たすために,システム設計フェーズの初期段階において,対策を実行するように奨励されている。本論文は,政策とシステムアーキテクチャ設計に対処して,データ保護とプライバシー要求を指定して,確認するために,それぞれプライバシー政策言語とアーキテクチャ記述言語の2つの変種を提案した。さらに,論理に基づく完全自動化アルゴリズムを開発し,この言語の変種で指定されたポリシーとアーキテクチャ間の3種類の適合関係(プライバシー,データ保護,および機能的適合性)を検証した。関連する研究と比較して,この手法は,システムのプライバシー,データ保護,および機能特性のより体系的で細かい解析をサポートする。次に,著者らの理論的方法を,データProVeと呼ばれるソフトウェアツールとして実装し,その実現可能性を,COVID-19接触追跡アプリケーションの集中化および分散化アプローチに基づいて実証した。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  言語 ,  システム設計 ,  データ ,  適応性 ,  プライバシー ,  応用プログラム ,  *データ保護 ,  分散化 ,  支援プログラム ,  *計算機アーキテクチャ ,  *システムアーキテクチャ ,  仕様記述言語
準シソーラス用語： 形式的検証 ,  アーキテクチャ設計 , 【Automatic Indexing@JST】

著者キーワード (4件)： プライバシー ,  GDPR ,  形式的検証 ,  セキュリティ

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

タイトルに関連する用語 (4件)： システムアーキテクチャ ,  完全自動化 ,  適合性 ,  検証