個人情報の同意管理の実装をモデルチェックする

本論文では、GDPR の要件を満たす個人情報の同意管理システムの実装を検証する方法を提案する。