We present a software framework that facilitates the development of adaptive applications. This framework allows the installation of application dependent policies which govern the adaptive behaviour of the application. These policies take into account user preferences and resource availability. The framework provides a generic interface to a variety of re-usable resource classes. We describe a...

We present the Unified Policy Framework (UPF), a generic framework for modelling security (access-control) policies; in Isabelle/HOL. UPF emphasizes the view that a policy is a policy decision function that grants or denies access to resources, permissions, etc. In other words, instead of modelling the relations of permitted or prohibited requests directly, we model the concrete function that i...

Currently, there are a large number of heterogeneous platforms. The standards of Web Services in different platforms are different and complex. Therefore, security interaction of Web services based on heterogeneous platform has become increasingly prominent. In order to realize security interaction of heterogeneous platforms, a security interactive model of Web Service based on WebSphere and .N...

We propose a formal policy framework of MAC policies in multilevel relational databases. We identify the important components of such policies and their desirable properties. The framework provides a basis for systematically specifying such policies and characterizing their potential mismatches. Based on the framework, we compare and unify the MAC policies and policy components that are propose...

Countries often have private information about their willingness to pay for protecting the climate system and their cost of emission reductions. We use a principal-agent model to re-examine the economic case for unilateral action by individual countries, in our case of the principal. We …nd that the incentive structure that arises in an incomplete information framework can motivate (i) unilater...

Let S(X) be a decomposable SPF with size |S| on commutative semiring (R,⊕,⊗, 0, 1), let d = |Xi| for all Xi ∈ X where X = (X1, . . . , Xn), and let the cost of a ⊕ b and a ⊗ b for any elements a, b ∈ R be c. Further, let e denote the complexity of evaluating any unary leaf function φj(Xi) in S and let k = maxv∈Ssum,j∈Ch(v) |Xv\Xj | < n, where Ssum, Sprod, and Sleaf are the sum, product, and lea...

The following documents (RFC 4405, RFC 4406, RFC 4407, and RFC 4408) are published simultaneously as Experimental RFCs, although there is no general technical consensus and efforts to reconcile the two approaches have failed. As such, these documents have not received full IETF review and are published "AS-IS" to document the different approaches as they were considered in the MARID working group.

Legal change, whether through legislation, regulation, or court decision, is a common phenomenon, and virtually all reform creates both gains and losses for those who under the prior regime took actions that would have lasting effects. This article offers a conceptual framework for assessing the desirability of different transition policies, ranging from compensation of losses and taxation of g...

Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge base, a priori knowledge and privacy policy are expressed with necessity-valued formulas that represent several degrees of certainty. We present a formal security de nition and analyze an appropriate controlled evalua...

8.5.4. Improve communication about policy and government involvement in risk regulation Low trust in the government in combination with low perceived control over exposure is related to a higher perception of health risks of public sources of EMF, and is likely to induce protests on the part of citizens. Transparent communication about potential conflicting interest of the government and making...