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

摘要

複数の動的情報フロー制御系間で情報を交換する際には，情報にセキュリティラベルを付随させる必要がある．その場合，情報そのものだけではなく，セキュリティラベルを介しても情報漏洩が生じる危険性がある．そのような情報漏洩を防止するために，我々は，セキュリティラベルを仮名化する手法を提案する．この手法により，セキュリティラベルの不当な照合や，改頭による情報漏洩を防止できる．%To make communication between information processing systems under information flow control, Security-labels must be attached to communicated information. In such case, confidential information may leak not only through the communicated information itself, but through its security-label. To prevent confidential information from leaking via security-label, we propose a method for aliasing security-label. By this method, confidential information is prevented from leakage by cross checking security-labels in conspiracy or falsificat-ing security-label.