title: Composing patterns to construct secure systems

authors: Rimba, Paul

subjects: security

abstract: Building secure applications requires significant expertise. Secure platforms and security patterns have been proposed to alleviate this problem. However, correctly applying patterns to use platform features is still highly expertise-dependent. Patterns are informal and there is a gap between them and platform features. We propose the concept of reusable verified design fragments, which package security patterns and platform features and are verified to provide assurance about their security properties. Design fragments can be composed through four primitive tactics. The verification of the composed design against desired security properties is presented in an assurance case. We demonstrate our approach by securing a Continuous Deployment pipeline and show that the tactics are sufficient to compose design fragments into a secure system. Finally, we formally define composition tactics, which are intended to support the development of systems that are secure by construction.

text: Composing patterns to construct secure systems Building secure applications requires significant expertise. Secure platforms and security patterns have been proposed to alleviate this problem. However, correctly applying patterns to use platform features is still highly expertise-dependent. Patterns are informal and there is a gap between them and platform features. We propose the concept of reusable verified design fragments, which package security patterns and platform features and are verified to provide assurance about their security properties. Design fragments can be composed through four primitive tactics. The verification of the composed design against desired security properties is presented in an assurance case. We demonstrate our approach by securing a Continuous Deployment pipeline and show that the tactics are sufficient to compose design fragments into a secure system. Finally, we formally define composition tactics, which are intended to support the development of systems that are secure by construction.

year: 2015

title: Adhesion GPCRs are widely expressed throughout the subsections of the gastrointestinal tract

authors: Badiali, Luca

abstract: Background: G protein-coupled receptors (GPCRs) represent one of the largest families of transmembrane receptors and the most common drug target. The Adhesion subfamily is the second largest one of GPCRs and its several members are known to mediate neural development and immune system functioning through cell-cell and cell-matrix interactions. The distribution of these receptors has not been characterized in detail in the gastrointestinal (GI) tract. Here we present the first comprehensive anatomical profiling of mRNA expression of all 30 Adhesion GPCRs in the rat GI tract divided into twelve subsegments. Methods: Using RT-qPCR, we studied the expression of Adhesion GPCRs in the esophagus, the corpus and antrum of the stomach, the proximal and distal parts of the duodenum, ileum, jejunum and colon, and the cecum. Results: We found that twenty-one Adhesion GPCRs (70%) had a widespread (expressed in five or more segments) or ubiquitous (expressed in eleven or more segments) distribution, seven (23%) were restricted to a few segments of the GI tract and two were not expressed in any segment. Most notably, almost all Group III members were ubiquitously expressed, while the restricted expression was characteristic for the majority of group VII members, hinting at more specific/localized roles for some of these receptors. Conclusions: Overall, the distribution of Adhesion GPCRs points to their important role in GI tract functioning and defines them as a potentially crucial target for pharmacological interventions. © 2012 Badiali et al.; licensee BioMed Central Ltd.

text: Adhesion GPCRs are widely expressed throughout the subsections of the gastrointestinal tract Background: G protein-coupled receptors (GPCRs) represent one of the largest families of transmembrane receptors and the most common drug target. The Adhesion subfamily is the second largest one of GPCRs and its several members are known to mediate neural development and immune system functioning through cell-cell and cell-matrix interactions. The distribution of these receptors has not been characterized in detail in the gastrointestinal (GI) tract. Here we present the first comprehensive anatomical profiling of mRNA expression of all 30 Adhesion GPCRs in the rat GI tract divided into twelve subsegments. Methods: Using RT-qPCR, we studied the expression of Adhesion GPCRs in the esophagus, the corpus and antrum of the stomach, the proximal and distal parts of the duodenum, ileum, jejunum and colon, and the cecum. Results: We found that twenty-one Adhesion GPCRs (70%) had a widespread (expressed in five or more segments) or ubiquitous (expressed in eleven or more segments) distribution, seven (23%) were restricted to a few segments of the GI tract and two were not expressed in any segment. Most notably, almost all Group III members were ubiquitously expressed, while the restricted expression was characteristic for the majority of group VII members, hinting at more specific/localized roles for some of these receptors. Conclusions: Overall, the distribution of Adhesion GPCRs points to their important role in GI tract functioning and defines them as a potentially crucial target for pharmacological interventions. © 2012 Badiali et al.; licensee BioMed Central Ltd.

year: 2012

title: Māori and indigenous views on R and R: Resistance and Resilience

authors: Penehira, Mera

subjects: resilience

abstract: This article explores the development of Mäori and Indigenous frameworks of resilience, considering the impact of engaging with largely State- led notions of resilience on Mäori development. We highlight the closely linked notion of resistance, asserting the necessity of a fi rm political analysis from Indigenous researchers engaged in this discourse. One of the Indigenous criticisms of resilience theories is that by defi nition they assume an acceptance of responsibility for our position as disadvantaged individuals. That is, by examining and developing theories and models of resilience we buy into the idea that this is the way it is and we need simply to get better at bouncing back and being resilient. Resistance, however, represents an approach of collective fi ght- back, exposing the inequitable distribution of power, and actively opposing negative social, political and economic infl uences. This article represents a Mäori Indigenous political response to the resilience discourse.

text: Māori and indigenous views on R and R: Resistance and Resilience This article explores the development of Mäori and Indigenous frameworks of resilience, considering the impact of engaging with largely State- led notions of resilience on Mäori development. We highlight the closely linked notion of resistance, asserting the necessity of a fi rm political analysis from Indigenous researchers engaged in this discourse. One of the Indigenous criticisms of resilience theories is that by defi nition they assume an acceptance of responsibility for our position as disadvantaged individuals. That is, by examining and developing theories and models of resilience we buy into the idea that this is the way it is and we need simply to get better at bouncing back and being resilient. Resistance, however, represents an approach of collective fi ght- back, exposing the inequitable distribution of power, and actively opposing negative social, political and economic infl uences. This article represents a Mäori Indigenous political response to the resilience discourse.

year: 2014