セキュリティラベルの仮名化による安全な情報フロー制御システム連係の実現

摘要

複数の動的情報フロー制御系間で情報を交換する際には，情報にセキュリティラベルを付随させる必要がある．その場合，情報そのものだけではなく，セキュリティラベルを介しても情報漏洩が生じる危険性がある．そのような情報漏洩を防止するために，我々は，セキュリティラベルを仮名化する手法を提案する．この手法により，セキュリティラベルの不当な照合や，改竄による情報漏洩を防止できる．