Dutch is a West-Germanic language spoken by approximately 22 million people worldwide. It is the official language of Surinam, the Netherlands Antilles and Aruba – all of these are former colonies of The Netherlands – but most speakers (app. 21 million) live in the Netherlands or Belgium.2 In 1980, these two countries established the Nederlandse Taalunie (‘Dutch Language Union’, henceforth DLU)...

The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processed. Conditions of policies may depend on the previous processing of the data. However, existing policy languages do not provide means to express such conditions. In this work we present a formal model and language allo...

Workflow applications for large complex organizations often need to cross several security domains, each with different management and specific security requirements. The resultant cross-dependency between the workflow specification and the security policy of each domain can be hard to manage without specific tools. This work presents a static analyzer that automatically verifies the consistenc...

DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is the separation of concerns between static core policies and dynamic workflow; important safety properties can be proved from the core policies alone, independently from the workflow. Another improvement is true decen...

the development of the persian poetry in the indian subcontinent is investigated in this paper. it is emphasized that the persian literature and language was developing in india along with the persian literature and language in iran. any transition of any nature occurring in iran left its impact on even remote lands, making the ground for khorasani, azarbayejani and araghi styles flourish in in...

The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processed. Conditions of policies may depend on the previous processing of the data. However, existing policy languages do not provide means to express such conditions. In this work we present a formal model and language allo...