Security policy refinement using data integration: a position paper.

In spite of the wide adoption of policy-based approaches for security management, and many existing treatments of policy verification and analysis, relatively little attention has been paid to policy refinement: the problem of deriving lower-level, runnable policies from higher-level policies, policy goals, and specifications. In this paper we present our initial ideas on this task, using and adapting concepts from data integration. We take a view of policies as governing the performance of an action on a target by a subject, possibly with certain conditions. Transformation rules are applied to these components of a policy in a structured way, in order to translate the policy into more refined terms; the transformation rules we use are similar to those of global-as-view database schema mappings, or to extensions thereof. We illustrate our ideas with an example. Copyright 2009 ACM

Collaborative Privacy Policy Authoring in a Social Networking Context.

Recent years have seen a significant increase in the popularity of social networking services. These online services enable users to construct groups of contacts, referred to as friends, with which they can share digital content and communicate. This sharing is actively encouraged by the social networking services, with users privacy often seen as a secondary concern. In this paper we first propose a privacy-aware social networking service and then introduce a collaborative approach to authoring privacy policies for the service. In addressing user privacy, our approach takes into account the needs of all parties affected by the disclosure of information and digital content. © 2010 Crown

Privacy Butler: A personal privacy rights manager for online presence.

The online presence projected by a person is comprised of all the information about them available on the Internet. In online communities and social networking services, it is often possible for third-parties to modify this content by, for example, commenting on existing content or uploading new content. This has the potential to negatively impact the privacy of a presence owner (the person referred to by the on-line content) by disclosing information about them without consent. In this paper we propose a Privacy Butler, an automated service that can monitor a persons online presence and attempt to make corrections based on policies specified by the owner of the online presence. © 2010 IEEE.Accepted versio

Semantic-based policy engineering for autonomic systems

This paper presents some important directions in the use of ontology-based semantics in achieving the vision of Autonomic Communications. We examine the requirements of Autonomic Communication with a focus on the demanding needs of ubiquitous computing environments, with an emphasis on the requirements shared with Autonomic Computing. We observe that ontologies provide a strong mechanism for addressing the heterogeneity in user task requirements, managed resources, services and context. We then present two complimentary approaches that exploit ontology-based knowledge in support of autonomic communications: service-oriented models for policy engineering and dynamic semantic queries using content-based networks. The paper concludes with a discussion of the major research challenges such approaches raise

The Search for Invariance: Repeated Positive Testing Serves the Goals of Causal Learning

Positive testing is characteristic of exploratory behavior, yet it seems to be at odds with the aim of information seeking. After all, repeated demonstrations of one’s current hypothesis often produce the same evidence and fail to distinguish it from potential alternatives. Research on the development of scientific reasoning and adult rule learning have both documented and attempted to explain this behavior. The current chapter reviews this prior work and introduces a novel theoretical account—the Search for Invariance (SI) hypothesis—which suggests that producing multiple positive examples serves the goals of causal learning. This hypothesis draws on the interventionist framework of causal reasoning, which suggests that causal learners are concerned with the invariance of candidate hypotheses. In a probabilistic and interdependent causal world, our primary goal is to determine whether, and in what contexts, our causal hypotheses provide accurate foundations for inference and intervention—not to disconfirm their alternatives. By recognizing the central role of invariance in causal learning, the phenomenon of positive testing may be reinterpreted as a rational information-seeking strategy

Differences in early developmental rate and yolk conversion efficiency in offspring of trout with alternative life histories

Partial migration, in which some individuals of a population migrate while other individuals remain resident, is generally associated with ontogenetic shifts to better feeding areas or as a response to environmental instability, but its underlying mechanisms remain relatively unknown. Brown trout (Salmo trutta) exhibit partial migration, with some individuals remaining in fresh water (freshwater-resident) while others undertake an anadromous migration, where they spend time at sea before returning to breed in fresh water (migrant). We reared full-sibling groups of offspring from freshwater-resident and anadromous brown trout from the same catchment in the laboratory under common garden conditions to examine potential differences in their early development. Freshwater-resident parents produced eggs that were slower to hatch than those of anadromous parents, but freshwater-resident offspring were quicker to absorb their yolk and reach the stage of exogenous feeding. Their offspring also had a higher conversion efficiency from the egg stage to the start of exogenous feeding (so were larger by the start of the fry stage) than did offspring from anadromous parents despite no difference in standard metabolic rate, maximal metabolic rate, or aerobic scope. Given these differences in early development we discuss how the migration history of the parents might influence the migration probability of the offspring

The transformation of transport policy in Great Britain? 'New Realism' and New Labour's decade of displacement activity

In a 1999 paper, Goodwin announced ‘the transformation of transport policy in Great Britain’. His central point was that consensus was emerging among policy makers and academics based on earlier work including Transport: The New Realism, which rejected previous orthodoxy that the supply of road space could and should be continually expanded to match demand. Instead a combination of investment in public transport, walking and cycling opportunities and – crucially – demand management should form the basis of transport policy to address rising vehicle use and associated increases in congestion and pollution / carbon emissions. This thinking formed the basis of the 1997 Labour government’s ‘sustainable transport’ policy, but after 13 years in power ministers neither transformed policy nor tackled longstanding transport trends. Our main aim in this paper is to revisit the concept of New Realism and re-examine its potential utility as an agent of change in British transport policy. Notwithstanding the outcome of Labour’s approach to transport policy, we find that the central tenets of the New Realism remain robust and that the main barriers to change are related to broader political and governance issues which suppress radical policy innovation

The morphofunctional approach to emotion modelling in robotics

In this conceptual paper, we discuss two areas of research in robotics, robotic models of emotion and morphofunctional machines, and we explore the scope for potential cross-fertilization between them. We shift the focus in robot models of emotion from information-theoretic aspects of appraisal to the interactive significance of bodily dispositions. Typical emotional phenomena such as arousal and action readiness can be interpreted as morphofunctional processes, and their functionality may be replicated in robotic systems with morphologies that can be modulated for real-time adaptation. We investigate the control requirements for such systems, and present a possible bio-inspired architecture, based on the division of control between neural and endocrine systems in humans and animals. We suggest that emotional epi- sodes can be understood as emergent from the coordination of action control and action-readiness, respectively. This stress on morphology complements existing research on the information-theoretic aspects of emotion

An Information Plane Architecture Supporting Home Network Management

Home networks have evolved to become small-scale versions of enterprise networks. The tools for visualizing and managing such networks are primitive and continue to require networked systems expertise on the part of the home user. As a result, non-expert home users must manually manage non-obvious aspects of the network - e.g., MAC address filtering, network masks, and firewall rules, using these primitive tools. The Homework information plane architecture uses stream database concepts to generate derived events from streams of raw events. This supports a variety of visualization and monitoring techniques, and also enables construction of a closed-loop, policy-based management system. This paper describes the information plane architecture and its associated policy-based management infrastructure. Exemplar visualization and closed-loop management applications enabled by the resulting system (tuned to the skills of non-expert home users) are discussed. © 2011 IEEE.Accepted versio

Feature integration in natural language concepts

Two experiments measured the joint influence of three key sets of semantic features on the frequency with which artifacts (Experiment 1) or plants and creatures (Experiment 2) were categorized in familiar categories. For artifacts, current function outweighed both originally intended function and current appearance. For biological kinds, appearance and behavior, an inner biological function, and appearance and behavior of offspring all had similarly strong effects on categorization. The data were analyzed to determine whether an independent cue model or an interactive model best accounted for how the effects of the three feature sets combined. Feature integration was found to be additive for artifacts but interactive for biological kinds. In keeping with this, membership in contrasting artifact categories tended to be superadditive, indicating overlapping categories, whereas for biological kinds, it was subadditive, indicating conceptual gaps between categories. It is argued that the results underline a key domain difference between artifact and biological concepts