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.

About DAPP: Meet the Department of Public Policy Analysis

The Department of Public Policy Analysis of Getulio Vargas Foundation (DAPP-FGV) is a research boutique concerned with the innovation of state structures and the relations between these and Civil Society, based on an interdisciplinary approach of applied social science, together with Information and Communication Technologies.

From social innovation to public policy. Success stories in Latin America and the Caribbean

Includes bibliography

National innovation surveys in Latin America: empirical evidence and policy implications

Includes bibliography

National innovation surveys in latin America: empirical evidence and policy implications

Includes bibliography

Innovation and technology policy (ITP) for catching up: a three phase life cycle framework for industrializing economies

Includes bibliography

Science and technology policy and the National Innovation System in Argentina

Includes bibliography

An emergy-based evaluation of a reverse logistics network for steel recycling

Efficient implementation of recycling networks requires appropriate logistical structures for managing the reverse flow of materials from users to producers. The steel sheet distributor studied had established a protocol for scrap recovery with the steel plant and its customers. The company invested in producing containers, hiring a specialized labor force and in purchasing trucks for container transportation to implement the logistics network for recycling. That network interconnected the company with two kinds of customers: the ones returning scrap and the ones who preferred to continue business-as-usual. The logistical network was analyzed using emergy synthesis, and the data obtained were used to evaluate and compare the system's environmental costs and benefits from the perspective of the distributor and the steel plant operator. The use of emergy ternary diagrams provided a way to assess recycle strategies to compare the relative economic and environmental benefits of the logistical network implemented. The minimum quantity of scrap that the distributor must recover to improve environmental benefits was determined allowing decision on whether it is worth keeping the system running. The new assessment method proposed also may help policy-makers to create strategies to reward or incentive users of reverse logistics, and help to establish regulations, by decreasing taxes or stimulating innovation, for effectively implement the National Policy on Solid Waste. (C) 2013 Elsevier Ltd. All rights reserved.

Business Clusters in Eastern Europe: Policy Analysis and Cluster Performance

Clusters have increasingly become an essential part of policy discourses at all levels, EU, national, regional, dealing with regional development, competitiveness, innovation, entrepreneurship, SMEs. These impressive efforts in promoting the concept of clusters on the policy-making arena have been accompanied by much less academic and scientific research work investigating the actual economic performance of firms in clusters, the design and execution of cluster policies and going beyond singular case studies to a more methodologically integrated and comparative approach to the study of clusters and their real-world impact. The theoretical background is far from being consolidated and there is a variety of methodologies and approaches for studying and interpreting this phenomenon while at the same time little comparability among studies on actual cluster performances. The conceptual framework of clustering suggests that they affect performance but theory makes little prediction as to the ultimate distribution of the value being created by clusters. This thesis takes the case of Eastern European countries for two reasons. One is that clusters, as coopetitive environments, are a new phenomenon as the previous centrally-based system did not allow for such types of firm organizations. The other is that, as new EU member states, they have been subject to the increased popularization of the cluster policy approach by the European Commission, especially in the framework of the National Reform Programmes related to the Lisbon objectives. The originality of the work lays in the fact that starting from an overview of theoretical contributions on clustering, it offers a comparative empirical study of clusters in transition countries. There have been very few examples in the literature that attempt to examine cluster performance in a comparative cross-country perspective. It adds to this an analysis of cluster policies and their implementation or lack of such as a way to analyse the way the cluster concept has been introduced to transition economies. Our findings show that the implementation of cluster policies does vary across countries with some countries which have embraced it more than others. The specific modes of implementation, however, are very similar, based mostly on soft measures such as funding for cluster initiatives, usually directed towards the creation of cluster management structures or cluster facilitators. They are essentially founded on a common assumption that the added values of clusters is in the creation of linkages among firms, human capital, skills and knowledge at the local level, most often perceived as the regional level. Often times geographical proximity is not a necessary element in the application process and cluster application are very similar to network membership. Cluster mapping is rarely a factor in the selection of cluster initiatives for funding and the relative question about critical mass and expected outcomes is not considered. In fact, monitoring and evaluation are not elements of the cluster policy cycle which have received a lot of attention. Bulgaria and the Czech Republic are the countries which have implemented cluster policies most decisively, Hungary and Poland have made significant efforts, while Slovakia and Romania have only sporadically and not systematically used cluster initiatives. When examining whether, in fact, firms located within regional clusters perform better and are more efficient than similar firms outside clusters, we do find positive results across countries and across sectors. The only country with negative impact from being located in a cluster is the Czech Republic.