ディジタル著作物の著作権管理とフォーマルメソッド
Vol.92 No.10pp.866-870
発行日:2009/10/01
Online ISSN:2188-2355
Print ISSN:0913-5693
種別:解説
専門分野:
キーワード:
ディジタル著作権管理, フォーマルメソッド, ライセンス, ポリシー,
本文:PDF(718.4KB)>>
あらまし:
ディジタル著作物の著作権管理は,技術的な方法であるディジタル著作権管理技術を用いる場合と,法的な方法であるライセンスを用いる場合の二つに大別できる.著作物の利用のされ方は,前者の場合は権利記述言語という形式言語,後者の場合は自然言語で定義されるのが一般的である.しかし,両者とも通常は論理的基盤が与えられていないため,著作権管理に関する処理の妥当性の厳密な検証は必ずしも容易ではない.本稿では,論理の枠組みで厳密に検証を行うフォーマルメソッドを,著作権管理に対して適用する試みについて解説する.