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.

GEOCHEMISTRY AND U-PB ZIRCON AGE OF THE INTERNAL OSSA-MORENA ZONE OPHIOLITE SEQUENCES: A REMNANT OF RHEIC OCEAN IN SW IBERIA

The Early Paleozoic geodynamic evolution in SW Iberia is believed to have been dominated by the opening of the Rheic Ocean. The Rheic Ocean is generally accepted to have resulted from the drift of peri-Gondwanan terranes such as Avalonia from the northern margin of Gondwana during Late Cambrian-Early Ordovician times. The closure of the Rheic Ocean was the final result of a continent-continent collision between Gondwana and Laurussia that produced the Variscan orogen. The Ossa-Morena Zone is a peri-Gondwana terrane, which preserves spread fragments of ophiolites - the Internal Ossa-Morena Zones Ophiolite Sequences (IOMZOS). The final patchwork of the IOMZOS shows a complete oceanic lithospheric sequence with geochemical characteristics similar to the ocean-floor basalts, without any orogenic fingerprint and/or crustal contamination. The IOMZOS were obducted and imbricated with high pressure lithologies. Based on structural, petrological and whole-rock geochemical data, the authors argue that the IOMZOS represent fragments of the oceanic lithosphere from the Rheic Ocean. Zircon SHRIMP U-Pb geochronological data on metagabbros point to an age of ca. 480 Ma for IOMZOS, providing evidence of a well-developed ocean in SW Iberia during this period, reinforcing the interpretation of the Rheic Ocean as a wide ocean among the peri-Gondwanan terranes during Early Ordovician times.

Detection of adulterations in processed coffee with cereals and coffee husks using capillary zone electrophoresis

The proposed method for the identification of adulteration was based on the controlled acid hydrolysis of xylan and starch present in some vegetable adulterants, followed by the analysis of the resulting xylose and glucose, which are the monosaccharides that compose, respectively, the two polysaccharides. The acid hydrolysis with HCl increases the ionic strength of the sample, which impairs the electrophoretic separation. Thus, a neutralization step based on anion exchange resin was necessary. The best separations were obtained in NaOH 80 mmol/L, CTAB 0.5 mmol/L, and methanol 30% v/v. Because of the high value of pH, monosaccharides are separated as anionic species in such running electrolyte. The LOQ for both monosaccharides was 0.2 g for 100 g of dry matter, which conforms to the tolerable limits.

A green flow-based procedure for fluorimetric determination of acid-dissociable cyanide in natural waters exploiting multicommutation

A flow system designed with solenoid valves is proposed for determination of weak acid dissociable cyanide, based on the reaction with o-phthalaldehyde (OPA) and glycine yielding a highly fluorescent isoindole derivative. The proposed procedure minimizes the main drawbacks related to the reference batch procedure, based on reaction with barbituric acid and pyridine followed by spectrophotometric detection, i.e., use of toxic reagents, high reagent consumption and waste generation, low sampling rate, and poor sensitivity. Retention of the sample zone was exploited to increase the conversion rate of the analyte with minimized sample dispersion. Linear response (r=0.999) was observed for cyanide concentrations in the range 1-200 mu g L(-1), with a detection limit (99.7% confidence level) of 0.5 mu g L(-1)(19 nmol L(-1)). The sampling rate and coefficient of variation (n=10) were estimated as 22 measurements per hour and 1.4%, respectively. The results of determination of weak acid dissociable cyanide in natural water samples were in agreement with those achieved by the batch reference procedure at the 95% confidence level. Additionally to the improvement in the analytical features in comparison with those of the flow system with continuous reagent addition (sensitivity and sampling rate 90 and 83% higher, respectively), the consumption of OPA was 230-fold lower.

Immigration, security and the public debate on US language policy : a critical discourse analysis of language attitudes in the United States of America

The narrative of the United States is of a "nation of immigrants" in which the language shift patterns of earlier ethnolinguistic groups have tended towards linguistic assimilation through English. In recent years, however, changes in the demographic landscape and language maintenance by non-English speaking immigrants, particularly Hispanics, have been perceived as threats and have led to calls for an official English language policy.This thesis aims to contribute to the study of language policy making from a societal security perspective as expressed in attitudes regarding language and identity originating in the daily interaction between language groups. The focus is on the role of language and American identity in relation to immigration. The study takes an interdisciplinary approach combining language policy studies, security theory, and critical discourse analysis. The material consists of articles collected from four newspapers, namely USA Today, The New York Times, Los Angeles Times, and San Francisco Chronicle between April 2006 and December 2007.Two discourse types are evident from the analysis namely Loyalty and Efficiency. The former is mainly marked by concerns of national identity and contains speech acts of security related to language shift, choice and English for unity. Immigrants are represented as dehumanised, and harmful. Immigration is given as sovereignty-related, racial, and as war. The discourse type of Efficiency is mainly instrumental and contains speech acts of security related to cost, provision of services, health and safety, and social mobility. Immigrants are further represented as a labour resource. These discourse types reflect how the construction of the linguistic 'we' is expected to be maintained. Loyalty is triggered by arguments that the collective identity is threatened and is itself used in reproducing the collective 'we' through hegemonic expressions of monolingualism in the public space and semi-public space. The denigration of immigrants is used as a tool for enhancing societal security through solidarity and as a possible justification for the denial of minority rights. Also, although language acquisition patterns still follow the historical trend of language shift, factors indicating cultural separateness such as the appearance of speech communities or the use of minority languages in the public space and semi-public space have led to manifestations of intolerance. Examples of discrimination and prejudice towards minority groups indicate that the perception of worth of a shared language differs from the actual worth of dominant language acquisition for integration purposes. The study further indicates that the efficient working of the free market by using minority languages to sell services or buy labour is perceived as conflicting with nation-building notions since it may create separately functioning sub-communities with a new cultural capital recognised as legitimate competence. The discourse types mainly represent securitising moves constructing existential threats. The perception of threat and ideas of national belonging are primarily based on a zero-sum notion favouring monolingualism. Further, the identity of the immigrant individual is seen as dynamic and adaptable to assimilationist measures whereas the identity of the state and its members are perceived as static. Also, the study shows that debates concerning language status are linked to extra-linguistic matters. To conclude, policy makers in the US need to consider the relationship between four factors, namely societal security based on collective identity, individual/human security, human rights, and a changing linguistic demography, for proposed language intervention measures to be successful.

Tha contribution of home-based technology to older people's quality of life in extra care housing

Background: British government policy for older people focuses on a vision of active ageing and independent living. In the face of diminishing personal capacities, the use of appropriate home-based technology (HBT) devices could potentially meet a wide range of needs and consequently improve many aspects of older people's quality of life such as physical health, psychosocial well-being, social relationships, and their physical or living environment. This study aimed to examine the use of HBT devices and the correlation between use of such devices and quality of life among older people living in extra-care housing (ECH).  Methods: A structured questionnaire was administered for this study. Using purposive sampling 160 older people living in extra-care housing schemes were selected from 23 schemes in England. A face-to-face interview was conducted in each participant's living unit. In order to measure quality of life, the SEIQoL-Adapted and CASP-19 were used.  Results: Although most basic appliances and emergency call systems were used in the living units, communally provided facilities such as personal computers, washing machines, and assisted bathing equipment in the schemes were not well utilised. Multiple regression analysis adjusted for confounders including age, sex, marital status, living arrangement and mobility use indicated a coefficient of 1.17 with 95% CI (0.05, 2.29) and p = 0.04 [SEIQoL-Adapted] and 2.83 with 95% CI (1.17, 4.50) and p = 0.001 [CASP-19].  Conclusions: The findings of the present study will be value to those who are developing new form of specialised housing for older people with functional limitations and, in particular, guiding investments in technological aids. The results of the present study also indicate that the home is an essential site for developing residential technologies.

The Development of Swedish Tourism Public Policy 1930-2010

In this article, the development and changes in Swedish public policy relating to tourism from the 1930s to 2010 is described and interpreted from a political economy perspective. A case study, compiled from mainly secondary sources, is analyzed from a theoretical framework based on regulation theory. The purpose with this study is to increase the understanding of how the macro political economy context has influenced the policy-making in tourism in Sweden, but also to make a contribution to an area which seems to be quite neglected when it comes to research. The changes are analyzed according to the three periods denoted as pre-Fordism (mid-19th century-1930s), Fordism (1930s-1970s) and post-Fordism (1970s to present). It is observed how the general changes between these periods regarding aspects such as regulation and deregulation, and the degree of state involvement, have affected tourism policy making. The tourism policy making has changed from being insignificant, to a high degree of state involvement including planning, control and supervision, to a situation where the market rather than government regulation is considered as state of the art. 

Modeling and illustrating requirement prioritization in public e-service development from a value-based perspective

A major problem in e-service development is the prioritization of the requirements of different stakeholders. The main stakeholders are governments and their citizens, all of whom have different and sometimes conflicting requirements. In this paper, the prioritization problem is addressed by combining a value-based approach with an illustration technique. This paper examines the following research question: How can multiple stakeholder requirements be illustrated from a value-based perspective in order to be prioritizable? We used an e-service development case taken from a Swedish municipality to elaborate on our approach. Our contributions are: 1) a model of the relevant domains for requirement prioritization for government, citizens, technology, finances and laws and regulations; and 2) a requirement fulfillment analysis tool (RFA) that consists of a requirement-goal-value matrix (RGV), and a calculation and illustration module (CIM). The model reduces cognitive load, helps developers to focus on value fulfillment in e-service development and supports them in the formulation of requirements. It also offers an input to public policy makers, should they aim to target values in the design of e-services.

Local politico-administrative perspectives on quality improvement based on national registry data in Sweden : a qualitative study using the Consolidated Framework for Implementation Research.

Background. Through a national policy agreement, over 167 million Euros will be invested in the Swedish National Quality Registries (NQRs) between 2012 and 2016. One of the policy agreement¿s intentions is to increase the use of NQR data for quality improvement (QI). However, the evidence is fragmented as to how the use of medical registries and the like lead to quality improvement, and little is known about non-clinical use. The aim was therefore to investigate the perspectives of Swedish politicians and administrators on quality improvement based on national registry data. Methods. Politicians and administrators from four county councils were interviewed. A qualitative content analysis guided by the Consolidated Framework for Implementation Research (CFIR) was performed. Results. The politicians and administrators perspectives on the use of NQR data for quality improvement were mainly assigned to three of the five CFIR domains. In the domain of intervention characteristics, data reliability and access in reasonable time were not considered entirely satisfactory, making it difficult for the politico-administrative leaderships to initiate, monitor, and support timely QI efforts. Still, politicians and administrators trusted the idea of using the NQRs as a base for quality improvement. In the domain of inner setting, the organizational structures were not sufficiently developed to utilize the advantages of the NQRs, and readiness for implementation appeared to be inadequate for two reasons. Firstly, the resources for data analysis and quality improvement were not considered sufficient at politico-administrative or clinical level. Secondly, deficiencies in leadership engagement at multiple levels were described and there was a lack of consensus on the politicians¿ role and level of involvement. Regarding the domain of outer setting, there was a lack of communication and cooperation between the county councils and the national NQR organizations. Conclusions. The Swedish experiences show that a government-supported national system of well-funded, well-managed, and reputable national quality registries needs favorable local politico-administrative conditions to be used for quality improvement; such conditions are not yet in place according to local politicians and administrators.

Family food environments as determinants of preschool-aged children`s eating behaviours: implications for obesity prevention policy. A review.

Children's eating behaviours are fundamental to their health. Dietary surveys indicate that children's food consumption is likely to promote a range of diet-related diseases, including overweight and obesity, which are associated with a range of psychosocial and physical disorders. With the prevalence of overweight and obesity rapidly increasing, opportunities for informed prevention have become a focus of strategy. Diet is recognised as important in the genesis of obesity. We present data that demonstrate that eating behaviours are likely to be established early in life and may be maintained into adulthood. We review literature that shows that children's eating behaviours are influenced by the family food environment. These findings suggest that the family environment should be considered in developing obesity prevention strategy for children, yet the current strategy focuses primarily on the school environment. Those factors in the family environment that appear to be important include: parental food preferences and beliefs, children's food exposure; role modelling; media exposure; and child-parent interactions around food. However, the existing data are based on small scale and unrepresentative US samples. At a population level, we have few insights regarding family food environments and consequently little information about how such environments influence children's eating behaviours and thus their risk for obesity. We suggest research that may promote a better understanding of the role of family food environments as determinants of children's eating behaviour, and consider the implications for obesity prevention in Australia. (Aust J Nutr Diet 2001;58:19-25)

Media/ting change: the print media's role in mediating education policy in a period of radical reform in Victoria, Australia

This paper draws upon critical discourse analysis, cultural studies and communication theory, studies on media and educational reform, and the work of Bernstein, Bourdieu and Luhmann in particular, to explore how the print and media 'mediated' a period of educational change marked by moves to self-management in schools in Victoria, Australia. It considers how the media was mobilized by various education stakeholders, and in turn informed relations between schools and government, through policy discourses and texts. It considers why and how particular themes became media 'issues', how schools and teachers responded to these issues, and how the media was used by various stakeholders in education to shape policy debates. It is based on a year-long qualitative study that explored critical incidents and representations about education in the print media over a year in the daily press. It illustrates the ways in which a neo-liberal Victorian government mobilized the media to gain strategic advantage to promote radical education reform policies, considers the media effects of this media/tion process on schools and teachers, and conceptualizes how school and system performance is fed from and into media representations, public perceptions and community understandings of schools and teachers' work.

Evidence-based strategies to promote physical activity among children, adolescents and young adults: review and update

This paper updates evidence reviewed in the first edition of Getting Australia Active on effective physical activity (PA) intervention strategies among children, adolescents and young adults. Intervention studies published between 1999 and September 2003 were identified using electronic databases and hand searching. A total of 28 discrete studies were identified (31 papers). Six of nine studies reported significant effects on child or youth PA in school settings. Those that incorporated whole-of-school approaches including curriculum, policy and environmental strategies appeared to be more effective than those that incorporated curriculum-only approaches. Five of 10 studies with children and two of five studies with adolescents reported increased PA or decreased sedentary behaviour in other settings. Interventions that included contact with families generally appeared to be most effective. One study with adolescents provided some evidence of the potential effectiveness of interventions based in primary care. Two of four papers reported modest short-term results among young adults, including increased PA stage of change or a higher likelihood of being adequately physically active, but none showed any evidence of sustained increases in PA. There is an urgent need for additional studies examining interventions aimed at young adults. Across the three life stages, future studies should include objective PA measures, longer-term follow-up, larger sample sizes, a specific focus on PA (rather than weight) and culturally-specific strategies that build evidence in Australian populations. Future studies should target high risk groups and a broad range of settings and strategies focusing on reducing sedentary behaviours as well as increasing PA.

Implementing Policy Management through BDI

The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-science scenarios, users cannot be repeatedly interrogated for each operational decision made when enacting experiments on the Grid. It is thus important to specify and enforce policies that enable the environment to be configured to take user preferences into account automatically. In particular, we need to consider the context in which these policies are applied, because decisions are based not only on the rules of the policy but also on the current state of the system. Consideration of context is explicitly addressed, in the agent perspective, when deciding how to balance the achievement of goals and reaction to the environment. One commonly-applied abstraction that balances reaction to multiple events with context-based reasoning in the way suggested by our requirements is the belief-desire-intention (BDI) architecture, which has proven successful in many applications. In this paper, we argue that BDI is an appropriate model for policy enforcement, and describe the application of BDI to policy enforcement in personalising Grid service discovery. We show how this has been implemented in the myGrid registry to provide bioinformaticians with control over the services returned to them by the service discovery process.

Lay people's views of school food policy options: associations with confidence, personal values and demographics

A random population survey administered by mail to examine lay people's views of children's food policies and their associations with demographics, personal values and confidence in authorities was conducted among adults in Victoria, Australia. Three hundred and seventy-seven people responded (response rate 57.6%). The questionnaire contained 35 items about children's healthy eating policy options plus details like personal values, confidence and demographic items. There was widespread support for healthy school food policies. The strongest support was for life skills education and school-based nutrition and physical education programmes. Many age-related associations indicated that people >48 years were more in favour of healthy eating policies than younger people. There were fewer statistically significant associations with parent status and sex. In contrast, many associations showed that respondents with strong equity–harmony values and those with least confidence in the authorities were most in favour of healthy eating policies for schoolchildren. It is concluded that there is widespread support for school-based health and nutrition education and for active school food policies. However, differences between demographic and values groups suggest the need for caution in the promotion of public health nutrition initiatives among schoolchildren.

Health impact assessment : environmental management vs healthy public policy perspective - exploring the nexus between the two

This paper will explore the links between the traditional role of HIA in an environmental management context and the new and emerging trend internationally to subject government policy to prospective HIA.  The goal of this new iteration of HIA is to develop healthy public policy across all sectors of government creating a more inclusive and evidence-based approach to public policy formation.  The risk-based, health protection approach is more widely understood, as it draws on existing health protection experience and is allied with risk assessment theory.  The new model is based on the health promotion perspective, and emphasizes social determinants of public health.  This latter approach draws on the foundations of the former.  It is vital that the links between the two are therefore considered especially from the perspective of transfer of knowledge between the two.  The paper will explore the similarities, the differences, the tensions and the lessons that can be learned.  It will report on the progress of a national study being conducted by Mary Mahoney and Gillian Durham that is looking at what is happening (or has happened) in other countires including Canada, New Zealand, Sweden, Netherlands, Germany and the United Kingdom