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.

NUCLEAR INTERACTIONS: THE CHIRAL PICTURE

Chiral expansions of the two-pion exchange components of both two- and three-nucleon forces are reviewed and a discussion is made of the predicted pattern of hierarchies. The strength of the scalar-isoscalar central potential is found to be too large and to defy expectations from the symmetry. The causes of this effect can be understood by studying the nucleon scalar form factor.

Self-dual hopfions

We construct static and time-dependent exact soliton solutions with nontrivial Hopf topological charge for a field theory in 3 + 1 dimensions with the target space being the two dimensional sphere S(2). The model considered is a reduction of the so-called extended Skyrme-Faddeev theory by the removal of the quadratic term in derivatives of the fields. The solutions are constructed using an ansatz based on the conformal and target space symmetries. The solutions are said self-dual because they solve first order differential equations which together with some conditions on the coupling constants, imply the second order equations of motion. The solutions belong to a sub-sector of the theory with an infinite number of local conserved currents. The equation for the profile function of the ansatz corresponds to the Bogomolny equation for the sine-Gordon model.

Static Hopfions in the extended Skyrme-Faddeev model

We construct static soliton solutions with non-zero Hopf topological charges to a theory which is an extension of the Skyrme-Faddeev model by the addition of a further quartic term in derivatives. We use an axially symmetric ansatz based on toroidal coordinates, and solve the resulting two coupled non-linear partial differential equations in two variables by a successive over-relaxation (SOR) method. We construct numerical solutions with Hopf charge up to four, and calculate their analytical behavior in some limiting cases. The solutions present an interesting behavior under the changes of a special combination of the coupling constants of the quartic terms. Their energies and sizes tend to zero as that combination approaches a particular special value. We calculate the equivalent of the Vakulenko and Kapitanskii energy bound for the theory and find that it vanishes at that same special value of the coupling constants. In addition, the model presents an integrable sector with an in finite number of local conserved currents which apparently are not related to symmetries of the action. In the intersection of those two special sectors the theory possesses exact vortex solutions (static and time dependent) which were constructed in a previous paper by one of the authors. It is believed that such model describes some aspects of the low energy limit of the pure SU(2) Yang-Mills theory, and our results may be important in identifying important structures in that strong coupling regime.

Exact vortex solutions in an extended Skyrme-Faddeev model

We construct exact vortex solutions in 3+1 dimensions to a theory which is an extension, due to Gies, of the Skyrme-Faddeev model, and that is believed to describe some aspects of the low energy limit of the pure SU(2) Yang-Mills theory. Despite the efforts in the last decades those are the first exact analytical solutions to be constructed for such type of theory. The exact vortices appear in a very particular sector of the theory characterized by special values of the coupling constants, and by a constraint that leads to an infinite number of conserved charges. The theory is scale invariant in that sector, and the solutions satisfy Bogomolny type equations. The energy of the static vortex is proportional to its topological charge, and waves can travel with the speed of light along them, adding to the energy a term proportional to a U(1) No ether charge they create. We believe such vortices may play a role in the strong coupling regime of the pure SU(2) Yang-Mills theory.

The concept of quasi-integrability: a concrete example

We use the deformed sine-Gordon models recently presented by Bazeia et al [1] to take the first steps towards defining the concept of quasi-integrability. We consider one such definition and use it to calculate an infinite number of quasi-conserved quantities through a modification of the usual techniques of integrable field theories. Performing an expansion around the sine-Gordon theory we are able to evaluate the charges and the anomalies of their conservation laws in a perturbative power series in a small parameter which describes the ""closeness"" to the integrable sine-Gordon model. We show that in the case of the two-soliton scattering the charges, up to first order of perturbation, are conserved asymptotically, i.e. their values are the same in the distant past and future, when the solitons are well separated. We indicate that this property may hold or not to higher orders depending on the behavior of the two-soliton solution under a special parity transformation. For closely bound systems, such as breather-like field configurations, the situation however is more complex and perhaps the anomalies have a different structure implying that the concept of quasi-integrability does not apply in the same way as in the scattering of solitons. We back up our results with the data of many numerical simulations which also demonstrate the existence of long lived breather-like and wobble-like states in these models.

The Bullough-Dodd model coupled to matter fields

The Bullough-Dodd model is an important two-dimensional integrable field theory which finds applications in physics and geometry. We consider a conformally invariant extension of it, and study its integrability properties using a zero curvature condition based on the twisted Kac-Moody algebra A(2)((2)). The one- and two-soliton solutions as well as the breathers are constructed explicitly. We also consider integrable extensions of the Bullough-Dodd model by the introduction of spinor (matter) fields. The resulting theories are conformally invariant and present local internal symmetries. All the one-soliton solutions, for two examples of those models, are constructed using a hybrid of the dressing and Hirota methods. One model is of particular interest because it presents a confinement mechanism for a given conserved charge inside the solitons. (C) 2008 Elsevier B.V. All rights reserved.

Exact vortex solutions in a CP(N) Skyrme-Faddeev type model

We consider a four dimensional field theory with target space being CP(N) which constitutes a generalization of the usual Skyrme-Faddeev model defined on CP(1). We show that it possesses an integrable sector presenting an infinite number of local conservation laws, which are associated to the hidden symmetries of the zero curvature representation of the theory in loop space. We construct an infinite class of exact solutions for that integrable submodel where the fields are meromorphic functions of the combinations (x(1) + i x(2)) and (x(3) + x(0)) of the Cartesian coordinates of four dimensional Minkowski space-time. Among those solutions we have static vortices and also vortices with waves traveling along them with the speed of light. The energy per unity of length of the vortices show an interesting and intricate interaction among the vortices and waves.

Publikdragande namn eller aktivistermed drag i? : Om symboliskt kapital som maktresurs i den globala rättviserörelsens lokala organiseringsarbete

Crowd-pulling names or energetic activists? On symbolic capital as a power resource in the local organizational work within the global justice movement The article explores the global emergence of local Social Forums by means of an ethnographic study of the organization of the Stockholm Social Forum. In international academic debate, the forums are often discussed as a “globalization from below” and a new deliberative democratic process. However, empirical research on the organizational process, and its power relations, has been very limited. The theoretical concept symbolic capital (Bourdieu) and concepts from conversation analysis (CA) are used to analyze how power in terms of priority of interpretation is constructed in conversations between activists with differing political backgrounds. A detailed empirical analysis is based on the case of an internal discussion about inviting keynote speakers to the local forum. The results show how transnational networks and specific knowledge about the global social forum process became symbolic capital in the organizational process. Holders of this specific form of symbolic capital gained priority of interpretation in the internal discussions. This had an impact on the practical outcome of the organizational process in terms of the symbolic framing of the Social Forum. It is argued that the social forum process produces specific forms of cultural distinctions, social hierarchies and patterns of exclusion.

Initiation into engineering : stability and change in gender orders

This article examines processes of doing gender during the initiation of students into engineering programs at university level in Sweden. The article draws on interviews with students, focusing on their understandings of gender. The aim is to explore difficulties with and challenges to traditional gender roles in an academic male dominated arena, by using theories of doing and undoing gender. The empirical material reveals the initiation period or ‘reception’ as a phenomenon both reinforcing and challenging traditional orders. The attempts to challenge norms meet resistance, revealing two paradoxes and one dilemma. In the first paradox the formal purpose of the reception (inclusion) is partly at odds with its informal consequence (exclusion of deviations). The second paradox concerns the contradictory effects of the reception. Even though the reception ensures participation of women, it reinforces existing hierarchies including gender inequality. This results in a dilemma, since in order to protect individual safety, there is a taboo on harassing women which then reproduces stable gender stereotypes. So while harassment taints the respect senior students must earn during the reception, the fact that female students exist in the engineering field challenges the established order and opens the way for change.

Nya möjligheter för stratifieringsforskning i Sverige : Internationella yrkesklassificeringar och stratifieringsmått över tid

New opportunities for social stratification research in Sweden: International occupational classifications and stratification measures over time The Swedish occupational classifications have in recent years been changed to a version of the international standard ISCO-88(COM), i.e. SSYK 96. As a consequence, a wide variety of internationally well-known stratification measures can be applied to Swedish data sets. In this article some tests of the validity of translation keys between the older national classifications and SSYK 96 are presented. The keys seem to work satisfactorily. Thus, it is possible to create long time-series with ISCO/SSYK and use these well-known stratification measures over time. Hence, the international interest in Swedish data sets, and empirical results based on these data sets, could rise. Moreover, in the article an empirical regularity, which is quite astonishing, is paid attention to; stratification measures based on different theoretical rationales indicate very similar hierarchies of occupations.

Who is `us`? Students negotiating discourses of racism and national identification in Australia

This article explores the political beliefs and the forms of reasoning about racism, national identity and Other developed by young Australian women and men from different ethnic and class backgrounds. The interviews on which the discussion is based are drawn from a larger longitudinal study of Australian secondary school students which examines how young people develop their sense of self and social values over time. The present article has two overall purposes: to add to understandings of how the cultural logic of racism functions in one national setting, and to consider political reasoning about race and ethnicity in relation to processes of young people's identity positioning. Three main lines of argument are developed. The first concerns students' positioning of themselves vis-a `-vis the current 'race debate' in Australia, and in relation to us as researchers, including their negotiation of the protocols for speaking about 'race' and racism. This includes consider ation of the methodological and political effects of white Anglo women asking questions about racism and ethnicity to ethnic minority students who are routinely constituted as 'Other': what blindnesses and silences continue to operate when posing questions about racism directly? A second and related focus is the range of emotional responses evoked by asking questions about racism and about an Australian politician (Pauline Hanson), who has been prominent in race debates. Third, the authors examine young people's construction of 'us and them' binaries and hierarchies of Otherness and whiteness. They argue throughout that reasoning about race, national identity and Others, and the taking up of 'political positions', is intimately linked to identity formation and to how we imagine ourselves in the present, the past and the future.

Handicapped from birth? Why women golfers are traditionally a fairway behind

Examines the values and assumptions that underpin and validate the subordinate status of women in Australian golf, and shows how longstanding structures, systems and practices continue to sustain existing class and gender hierarchies. Solutions require a major change in golfing culture and tradition.

Hierarchial patterns of invertebrate assemblage structure in stony upland streams change with time and flow permanence

1. Studies in several parts of the world have examined variation in univariate descriptors of macroinvertebrate assemblage structure in perennially flowing stony streams across hierarchies of spatial scale using nested analyses of variance. However, few have investigated whether this spatial variation changes with time or whether these results are representative of habitats other than riffles or of other stream types, such as intermittently flowing streams.

2. We describe patterns in taxon richness and abundance from two sets of samples from stony streams in the Otway Range and the Grampians Range, Victoria, Australia, collected using hierarchical designs. Sampling of riffles was repeated in the Otways, to determine whether spatial patterns were consistent among times. In the Grampians, spatial patterns were compared between intermittent and perennially flowing streams (stream type) by sampling pools.

3. In the Otways streams, most variation in the dependent variables occurred between sample units. Patterns of variation among the other scales (streams, segments, riffles, groups of stones) were not consistent between sampling times, suggesting that they may have little ecological significance.

4. In the Grampians streams, variation in macroinvertebrate taxon richness and abundance differed significantly between replicate streams within each stream type but not between stream types or pools. The largest source of variation in taxon richness was stream type. Little variation occurred among sample units.

5. The pattern of most variation occurring among sample units is robust both to differences in the method of sampling and different dependent variables among studies and increasingly appears to be a property of riffles in stony, perennial upland streams. High variation among sample units (residual variation) limits the explanatory power of linear models and therefore, where samples are from a single sampling time, small but significant components of variation are unlikely to represent features of assemblage structure that will be stable over time.

Still suffering from the `silo effect`: lingering cultural barriers to collaborative care

This research project sought to draw out the contesting definitions of collaborative care among professional subgroups in maternity services. The paper contrasts medical and social models of knowledge and reports on qualitative evidence from midwives and doctors in Australian hospitals. The evidence indicates that collaborative care is welcomed by both midwives and doctors but that there remains a lingering residue of the ‘silo effect’ of the ‘old’ professionalism, characterized by hierarchical relations, divergent philosophies and competing domains. Although a ‘new professionalism’ has emerged that challenges the old hierarchies and professional dependencies, it too harbours lingering residues of the former dichotomy between midwives and obstetricians. These tensions and enmities will need to be resolved before genuine collaboration may take full effect. The objective is a relationship focused model of care that transcends professional or woman-focused models. The ‘new’ professionalism may be expedited through mediation strategies, a version of which is the ‘sociological intervention method’ discussed in this article.