Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Study of charge transport in blends of natural rubber and poly(o-methoxyaniline) based on a resistor network statistical model

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Sustainable Development in Latin America and the Caribbean: Trends, Progress, and Challenges in Sustainable Consumption and Production, Mining, Transport, Chemicals and Waste Management

Includes bibliography

A social network approach to trust management in VANETs

In the past few years, vehicular ad hoc networks(VANETs) was studied extensively by researchers. VANETs is a type of P2P network, though it has some distinct characters (fast moving, short lived connection etc.). In this paper, we present several limitations of current trust management schemes in VANETs and propose ways to counter them. We first review several trust management techniques in VANETs and argue that the ephemeral nature of VANETs render them useless in practical situations. We identify that the problem of information cascading and oversampling, which commonly arise in social networks, also adversely affects trust management schemes in VANETs. To the best of our knowledge, we are the first to introduce information cascading and oversampling to VANETs. We show that simple voting for decision making leads to oversampling and gives incorrect results in VANETs. To overcome this problem, we propose a novel voting scheme. In our scheme, each vehicle has different voting weight according to its distance from the event. The vehicle which is more closer to the event possesses higher weight. Simulations show that our proposed algorithm performs better than simple voting, increasing the correctness of voting. © 2012 Springer Science + Business Media, LLC.

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean N° 41

• Editorial remarks.-- Open discussion: Tariffs and subsidies: the current situation and trends in the region ; State-owned utilities and the flight from public law: challenges and trends ; Challenges and opportunities in access to water and sanitation in rural areas.-- Meetings: Proposals based on the Water and Environment Initiative consensuses.-- News of the Network: Peru’s Compensation Mechanisms for Ecosystem Services Act ; Ecuador’s Act on Water Resources and Water Use and Exploitation ; The environmental dynamics of groundwater in Mexico ; The Water Citizenship Programme in the province of Mendoza, Argentina.-- Internet and WWW News

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean No. 42

Editorial remarks.-- Open discussion: Conceptual change in regulation in a model of public service provision ; Policies and institutional frameworks for drinking water supply and sanitation ; Strategies for low-carbon development in megacities in Latin America ; Adapting to climate change in water management in the irrigation sector.-- Meetings: Towards a vision on natural resource governance for equality ; Water resources faced with uncertainty and the risk of climate change ; Regulation challenges in the water sector.-- News of the Network: Lessons to be drawn from the interprovincial Colorado River flow distribution agreement ; Rural drinking water programme in Chile ; Ecuador’s Act on Water Resources and Water Use and Exploitation.-- Internet and WWW News

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean No. 43

Editorial remarks.-- Open discussion: Energy efficiency and economic regulation in water supply and sewerage services ; Policies and institutional frameworks for drinking water supply and sanitation.-- News of the network: The goal of food self-sufficiency of the countries of the cooperation council for de Arab States of the Gulf ; Narrowing the gaps in drinking water and sanitation: an opportunity for users ; Water Users'Organizations Act of Peru ; Commission for the Integrated management of the Tárcoles River Basin, Costa Rica ; Water and sanitation Management Unit in Panama.-- Courses: Course "Strategic aspects of irrigation".-- Internet and WWW news

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean No. 2

The second issue of the Circular marks the first milestone in the life of the Network, because it fulfils our intent to publish it on a regular basis at least twice a year. The emphasis in this issue is on planning at the level of the river basin.

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean No. 4

The fourth issue of this circular represents a milestone for the Network, since it fulfills our objective of publishing the circular at least twice a year. In this issue, we will continue our discussion on the role of the private sector in the provision of public water-related services

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean No. 5

In this issue of the Circular, we present the second part of the discussion on regulation of private-sector participation in water-related services. The editorial addresses the issue of integrated water resources management with local participation at the river basin level in the countries of the region.

Network for Cooperation in Integrated Water Resource Management for Sustainable Development in Latin America and the Caribbean No. 7

Editorial remarks.-- Open discussion: public policies for sustainable development.-- Meetings: Workshop for Managers of River Basin Organizations in Latin America and the Caribbean ; General Assembly of the International Network of Basin Organizations ; Seminar workshop on environmental accounting for water resources in Chile.-- Future activities.-- Courses.-- CELAA, CINARA and IMTA.-- Internet and WWW News