Internet search engines allow access to online information from all over the world. However, there is currently a general assumption that users are uent in the languages of all documents that they might search for. This has for historical reasons usually been a choice between English and the locally supported language. Given the rapidly growing size of the Internet, it is likely that future use...

The Extensible Markup Language (XML) is utilised in many Internet applications we are using today. However, as with many computing technologies, vulnerabilities exist in XML that can allow for malicious and unauthorised use. Applications that utilise XML are therefore susceptible to security faults if they do not provide their own methods. Our research focuses on developing a formal language wh...

Role Based Access Control (RBAC) and Access Control List (ACL) are the most commonly adopted access control mechanisms in traditional centralized computing environment. Nowadays people frequently work in a highly dynamic and distributed computing environment, in which two or more heterogeneous systems do not share the same security domain. Traditional access control mechanisms that require pre-...

In this paper we describe the formal specification language RASP for expressing fine-grained access control constraints in information systems. The design of the language is motivated by a number of IS case studies which demonstrate the complexity of the access constraints which arise if minimal (need-to-know) access is to be strictly enforced. RASP supports modularity, parameterization, role a...

Specifying and managing access control policies for large distributed systems is a non{ trivial task. Commonly, access control policies are speciied in natural language and later reformulated in terms of a particular access control mechanism. Management of policies is thus done in terms of low{level constructs rather than in terms of the speciication. This paper presents and discusses concepts ...

The role of phonological neighborhood density in lexical access was examined during nativeand nonnative language production. German-English and English-German bilinguals named pictures of German words with highand low-density neighborhoods. Results revealed that accuracy of picture naming was influenced by phonological neighborhood, with high-density neighborhoods facilitating lexical access in...

Specifying and managing access control policies for large distributed systems is a non{ trivial task. Commonly, access control policies are speciied in natural language and later reformulated in terms of a particular access control mechanism. Management of policies is thus done in terms of low{level constructs rather than in terms of the speciication. This paper presents and discusses concepts ...

In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...

In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...