論文の概要: Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs

• arxiv url: http://arxiv.org/abs/2503.20464v1
• Date: Wed, 26 Mar 2025 11:50:55 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-03-27 13:21:41.030902
• Title: Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
• Title（参考訳）: バイグラフを用いたクロスボーダーデータ転送におけるプライバシコンプライアンスのモデル化
• Authors: Ebtihal Althubiti, Michele Sevegnani,
• Abstract要約: 筆者らはMilnerのBigraphical Reactive Systemsに基づくプライバシーフレームワークを提案する。 WhatsAppのプライバシポリシをモデル化することで、フレームワークの適用性を実証する。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: Advancements in information technology have led to the sharing of users' data across borders, raising privacy concerns, particularly when destination countries lack adequate protection measures. Regulations like the European General Data Protection Regulation (GDPR) govern international data transfers, imposing significant fines on companies failing to comply. To achieve compliance, we propose a privacy framework based on Milner's Bigraphical Reactive Systems (BRSs), a formalism modelling spatial and non-spatial relationships between entities. BRSs evolve over time via user-specified rewriting rules, defined algebraically and diagrammatically. In this paper, we rely on diagrammatic notations, enabling adoption by end-users and privacy experts without formal modelling backgrounds. The framework comprises predefined privacy reaction rules modelling GDPR requirements for international data transfers, properties expressed in Computation Tree Logic (CTL) to automatically verify these requirements with a model checker and sorting schemes to statically ensure models are well-formed. We demonstrate the framework's applicability by modelling WhatsApp's privacy policies.
• Abstract（参考訳）: 情報技術の進歩は、国境を越えてユーザーのデータを共有し、特に目的地国が適切な保護措置を欠いている場合、プライバシー上の懸念を高めている。 欧州一般データ保護規則(GDPR)のような規制は、国際データ転送を規制し、従わない企業に対して重大な罰金を課している。 コンプライアンスを実現するために,Milner's Bigraphical Reactive Systems (BRS)に基づくプライバシフレームワークを提案する。 BRSは、代数的および図式的に定義されたユーザ指定の書き換え規則を通じて、時間とともに進化する。 本稿では,形式的なモデリングの背景を持たないエンドユーザーやプライバシの専門家による採用を可能にするため,図式表記に頼っている。 このフレームワークは、国際データ転送のGDPR要求をモデル化する事前定義されたプライバシ反応ルール、計算ツリーロジック(CTL)で表現されたプロパティ、モデルチェッカーとソートスキームでこれらの要求を自動的に検証し、モデルが適切に整列されていることを静的に保証する。 WhatsAppのプライバシポリシをモデル化することで、フレームワークの適用性を実証する。

関連論文リスト

• LegiLM: A Fine-Tuned Legal Language Model for Data Compliance [5.256747140296861]
  LegiLMは、データや情報コンプライアンスに関するコンサルティングに特化した、新しい法的言語モデルである。 特定のアクションやイベントがデータセキュリティとプライバシ規則に違反しているかどうかを自動的に評価するように調整されている。 LegiLMは、データ規制違反の検出、健全な法的正当性の提供、必要なコンプライアンス修正の推奨に優れています。
  論文  参考訳（メタデータ） (2024-09-09T02:06:52Z)
• Properties of Effective Information Anonymity Regulations [6.8322083925948185]
  我々は匿名化規則と関連する規則に関する一連の技術的要件を策定する。 例として、EUの一般データ保護規則(General Data Protection Regulation)からの規制要件の競合する解釈を評価します。
  論文  参考訳（メタデータ） (2024-08-27T02:34:41Z)
• Modelling Technique for GDPR-compliance: Toward a Comprehensive Solution [0.0]
  EU/UKにおける新たなデータ保護法が施行された。 既存の脅威モデリング技術は、コンプライアンスをモデル化するために設計されていない。 非コンプライアンス脅威に対する知識基盤の原則と統合した新しいデータフローを提案する。
  論文  参考訳（メタデータ） (2024-04-22T08:41:43Z)
• Demystifying Legalese: An Automated Approach for Summarizing and Analyzing Overlaps in Privacy Policies and Terms of Service [0.6240153531166704]
  我々の研究は、このような文書に自動でアクセス可能な要約とスコアを提供する言語モデルを開発することで、この問題を軽減することを目指している。 我々はデータセットのトレーニング中にトランスフォーマーベースのモデルと従来のモデルを比較し、RoBERTaは0.74F1スコアで全体的なパフォーマンスを改善した。
  論文  参考訳（メタデータ） (2024-04-17T19:53:59Z)
• Towards an Enforceable GDPR Specification [49.1574468325115]
  プライバシ・バイ・デザイン(PbD)は、EUなどの現代的なプライバシー規制によって規定されている。 PbDを実現する1つの新しい技術は強制(RE)である 法律規定の正式な仕様を作成するための一連の要件と反復的な方法論を提示する。
  論文  参考訳（メタデータ） (2024-02-27T09:38:51Z)
• PrivacyMind: Large Language Models Can Be Contextual Privacy Protection Learners [81.571305826793]
  コンテキストプライバシ保護言語モデル(PrivacyMind)を紹介する。 我々の研究はモデル設計に関する理論的分析を提供し、様々な手法をベンチマークする。 特に、肯定的な例と否定的な例の両方による命令チューニングは、有望な方法である。
  論文  参考訳（メタデータ） (2023-10-03T22:37:01Z)
• Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) [67.99023219822564]
  我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。 RABは両方の制限を解除することで既存のモデルを一般化する。 データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
  論文  参考訳（メタデータ） (2022-08-12T17:03:50Z)
• Distributed Machine Learning and the Semblance of Trust [66.1227776348216]
  フェデレートラーニング(FL)により、データ所有者はデータを共有することなく、データガバナンスを維持し、モデルトレーニングをローカルで行うことができる。 FLと関連する技術は、しばしばプライバシー保護と表現される。 この用語が適切でない理由を説明し、プライバシの形式的定義を念頭に設計されていないプロトコルに対する過度な信頼に関連するリスクを概説する。
  論文  参考訳（メタデータ） (2021-12-21T08:44:05Z)
• Learning to Limit Data Collection via Scaling Laws: Data Minimization Compliance in Practice [62.44110411199835]
  我々は機械学習法における文献に基づいて、データとシステム性能を結びつけるデータ解釈に基づく収集を制限するフレームワークを提案する。 我々は、性能曲線微分に基づくデータ最小化基準を定式化し、有効かつ解釈可能な分数法法技術を提供する。
  論文  参考訳（メタデータ） (2021-07-16T19:59:01Z)
• Second layer data governance for permissioned blockchains: the privacy management challenge [58.720142291102135]
  新型コロナウイルス(COVID-19)やエボラウイルス(エボラ出血熱)のようなパンデミックの状況では、医療データを共有することに関連する行動は、大規模な感染を避け、死亡者を減らすために重要である。 この意味において、許可されたブロックチェーン技術は、スマートコントラクトが管理する不変で統一された分散データベースを通じて、データのオーナシップ、透明性、セキュリティを提供する権利をユーザに与えるために登場します。
  論文  参考訳（メタデータ） (2020-10-22T13:19:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。