The preservation of culture and heritage is important, as the impact of Western influences
deepens. It is estimated that in a few years, one of the oldest ethnic groups in the world-the …

Cultural heritage preservation is undertaken by museums and libraries worldwide with the
goal of preserving historical artifacts and making them accessible. In many cases the …

! Conventional digital libraries utilize access control and digital watermarking techniques to
protect their digital content. These methods have some limitations. First, after passing the …

An authorization policy states the conditions under which an action is permitted or forbidden.
In this dissertation, we use formal methods to ensure that policies written in certain …

Conventional digital libraries utilize access control and digital watermarking techniques to
protect their digital content. These methods have some limitations. First, after passing the …