Scalable model-based configuration management of security services in complex enterprise networks

Security administrators face the challenge of designing, deploying and maintaining a variety of configuration files related to security systems, especially in large-scale networks. These files have heterogeneous syntaxes and follow differing semantic concepts. Nevertheless, they are interdependent due to security services having to cooperate and their configuration to be consistent with each other, so that global security policies are completely and correctly enforced. To tackle this problem, our approach supports a comfortable definition of an abstract high-level security policy and provides an automated derivation of the desired configuration files. It is an extension of policy-based management and policy hierarchies, combining model-based management (MBM) with system modularization. MBM employs an object-oriented model of the managed system to obtain the details needed for automated policy refinement. The modularization into abstract subsystems (ASs) segment the system-and the model-into units which more closely encapsulate related system components and provide focused abstract views. As a result, scalability is achieved and even comprehensive IT systems can be modelled in a unified manner. The associated tool MoBaSeC (Model-Based-Service-Configuration) supports interactive graphical modelling, automated model analysis and policy refinement with the derivation of configuration files. We describe the MBM and AS approaches, outline the tool functions and exemplify their applications and results obtained. Copyright (C) 2010 John Wiley & Sons, Ltd.

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.

Opinion dynamics of learning agents: does seeking consensus lead to disagreement?

We study opinion dynamics in a population of interacting adaptive agents voting on a set of issues represented by vectors. We consider agents who can classify issues into one of two categories and can arrive at their opinions using an adaptive algorithm. Adaptation comes from learning and the information for the learning process comes from interacting with other neighboring agents and trying to change the internal state in order to concur with their opinions. The change in the internal state is driven by the information contained in the issue and in the opinion of the other agent. We present results in a simple yet rich context where each agent uses a Boolean perceptron to state their opinion. If the update occurs with information asynchronously exchanged among pairs of agents, then the typical case, if the number of issues is kept small, is the evolution into a society torn by the emergence of factions with extreme opposite beliefs. This occurs even when seeking consensus with agents with opposite opinions. If the number of issues is large, the dynamics becomes trapped, the society does not evolve into factions and a distribution of moderate opinions is observed. The synchronous case is technically simpler and is studied by formulating the problem in terms of differential equations that describe the evolution of order parameters that measure the consensus between pairs of agents. We show that for a large number of issues and unidirectional information flow, global consensus is a fixed point; however, the approach to this consensus is glassy for large societies.

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.

Why Implementing History and Philosophy in School Science Education is a Challenge: An Analysis of Obstacles

Teaching and learning with history and philosophy of science (HPS) has been, and continues to be, supported by science educators. While science education standards documents in many countries also stress the importance of teaching and learning with HPS, the approach still suffers from ineffective implementation in school science teaching. In order to better understand this problem, an analysis of the obstacles of implementing HPS into classrooms was undertaken. The obstacles taken into account were structured in four groups: 1. culture of teaching physics, 2. teachers` skills, epistemological and didactical attitudes and beliefs, 3. institutional framework of science teaching, and 4. textbooks as fundamental didactical support. Implications for more effective implementation of HPS are presented, taking the social nature of educational systems into account.

Multiculturalism and Policymaking : A comparative study of Danish and Swedish cultural policies since 1969

This master’s thesis deals with the cultural diversity policies of Denmark and Sweden within the cultural sector. It attempts at explaining why these two “most-similar” scandinavian countries having in common the same cultural model, “the architect model”, opted for different policies when it came to cultural diversity: Assimilationism for Denmark and multiculturalism for Sweden. I show that though institutional and power-interest factors had an impact, ideas as “programmatic beliefs” (Sheri E. Berman 2001) or “frames” (Erik Bleich 2003) played the ultimate role. I evaluate their relative importance by analyzing the anthropological dimension of the countries cultural policies since 1969. The study confirms that at least in the cultural sector, Danish policies have been assimilationist and Swedish ones multiculturalist and proposes a new classification of terms.By investigating immigrants cultures, it fills a gap left by previous researchers working on a common Nordic cultural model.

Anton Nyström's Defense of Homosexuality

In 1919 Anton Nyström became the first person in Sweden to publish a comprehensive defense of homosexuality. He believed that its classification as a mental illness was erroneous and that Sweden's law against homosexual sex was both irrational and cruel. Nyström was a physician whose work in the medical area dealt primarily with dermatology, psychiatry and human sexuality; however he was also a prolific historian, who took a staunchly anti-Christian view in his analysis of how Christianity affected European culture, especially in the area of sexual morality. In fact, much of Nyström's medical texts dealing with human sexuality consisted of anti-Christian cultural and historical commentary. The object of this "C-uppsats" is to analyze Nyström's pamphlet, Om Homosexualitet och Hermafroditi: Belysning af Missförstådda Existenser and illustrate how its defensive structure was consistent with the pattern used by the author in his other books and articles on human sexuality. Specifically, that irrational and neurotic Christian beliefs caused both mental and physical suffering and were the source of deleterious forms of morality. Additionally, this paper will also show that the solution Nyström had for the problem of negative and erroneous attitudes towards homosexuality was to replace the sodomitic view of homosexuality with one based upon a more rational and naturalistic belief system, the basis of which could be found in the pre-Christian cultures of Europe, most especially in Greece. This new conception was to be constructed primarily out of historical example and cultural analyses. For Nyström, history writing was used both as a weapon to fight the source of negative attitudes towards homosexuality, as well as a tool that could be used to build a positive cultural model which would be beneficial for homosexuals.

On Aspects of Mathematical Reasoning : Affect and Gender

This thesis explores two aspects of mathematical reasoning: affect and gender. I started by looking at the reasoning of upper secondary students when solving tasks. This work revealed that when not guided by an interviewer, algorithmic reasoning, based on memorising algorithms which may or may not be appropriate for the task, was predominant in the students reasoning. Given this lack of mathematical grounding in students reasoning I looked in a second study at what grounds they had for different strategy choices and conclusions. This qualitative study suggested that beliefs about safety, expectation and motivation were important in the central decisions made during task solving.  But are reasoning and beliefs gendered? The third study explored upper secondary school teachers conceptions about gender and students mathematical reasoning. In this study I found that upper secondary school teachers attributed gender symbols including insecurity, use of standard methods and imitative reasoning to girls and symbols such as multiple strategies especially on the calculator, guessing and chance-taking were assigned to boys. In the fourth and final study I found that students, both male and female, shared their teachers view of rather traditional feminities and masculinities. Remarkably however, this result did not repeat itself when students were asked to reflect on their own behaviour: there were some discrepancies between the traits the students ascribed as gender different and the traits they ascribed to themselves. Taken together the thesis suggests that, contrary to conceptions, girls and boys share many of the same core beliefs about mathematics, but much work is still needed if we should create learning environments that provide better opportunities for students to develop beliefs that guide them towards well-grounded mathematical reasoning. 

A reason to believe : beliefs as an influence on students task solving

Upper secondary students’ task solving reasoning was analysed, with a focus on what grounds they had for different strategy choices and conclusions. Beliefs were identified and connected with the reasoning that took place. The results indicate that beliefs have an impact on the central decisions made during task solving. Three themes stand out: safety, expectation and motivation.

Teaching grammar: A study of the common English grammar errors and grammar teaching methods that can be relevant for Swedish upper secondary schools

Grammar has always been an important part of language learning. Based on various theories, such as the universal grammar theory (Chomsky, 1959) and, the input theory (Krashen, 1970), the explicit and implicit teaching methods have been developed. Research shows that both methods may have some benefits and disadvantages. The attitude towards English grammar teaching methods in schools has also changed and nowadays grammar teaching methods and learning strategies, as a part of language mastery, are one of the discussion topics among linguists. This study focuses on teacher and learner experiences and beliefs about teaching English grammar and difficulties learners may face. The aim of the study is to conduct a literature review and to find out what scientific knowledge exists concerning the previously named topics. Along with this, the relevant steering documents are investigated focusing on grammar teaching at Swedish upper secondary schools. The universal grammar theory of Chomsky as well as Krashen’s input hypotheses provide the theoretical background for the current study. The study has been conducted applying qualitative and quantitative methods. The systematic search in four databases LIBRIS, ERIK, LLBA and Google Scholar were used for collecting relevant publications. The result shows that scientists’ publications name different grammar areas that are perceived as problematic for learners all over the world. The most common explanation of these difficulties is the influence of learner L1. Research presents teachers’ and learners’ beliefs to the benefits of grammar teaching methods. An effective combination of teaching methods needs to be done to fit learners’ expectations and individual needs. Together, they will contribute to the achieving of higher language proficiency levels and, therefore, they can be successfully applied at Swedish upper secondary schools.

Vernacular meaning making : Examples of narrative impact in fiction film questioning the 'banal' notion in mediatization of religion theory

The outcome of an audience study supports theories stating that stories are a primary means by which we make sense of our experiences over time. Empirical examples of narrative impact are presented in which specific fiction film scenes condense spectators' lives, identities and beliefs. One conclusion is that spectators test the emotional realism of the narative for greater significance, connecting diegetic fiction experiences with their extra-diegetic world in their quest for meaning, self and identity. The 'banal' notion of the mediatization of religion theory is questioned as unsatisfactory in the theoretical context of individualized meaning-making processes. As a semantically negatively charged concept, it is problematic when analyzing empirical examples of spectators' use of fictional narratives, especially when trying to characterize the idiosyncratic and complex interplay between spectators' fiction emotions and their testing of mediated narratives in an exercise to find moral significance in extra-filmic life. Instead vernacular meaning-making is proposed.