Security specification and enforcement in mediation system

Mediation techniques provide interoperability and support integrated query processing among heterogeneous databases. While such techniques help data sharing among different sources, they increase the risk for data security, such as violating access control rules. Successful protection of information by an effective access control mechanism is a basic requirement for interoperation among heterogeneous data sources. ^ This dissertation first identified the challenges in the mediation system in order to achieve both interoperability and security in the interconnected and collaborative computing environment, which includes: (1) context-awareness, (2) semantic heterogeneity, and (3) multiple security policy specification. Currently few existing approaches address all three security challenges in mediation system. This dissertation provides a modeling and architectural solution to the problem of mediation security that addresses the aforementioned security challenges. A context-aware flexible authorization framework was developed in the dissertation to deal with security challenges faced by mediation system. The authorization framework consists of two major tasks, specifying security policies and enforcing security policies. Firstly, the security policy specification provides a generic and extensible method to model the security policies with respect to the challenges posed by the mediation system. The security policies in this study are specified by 5-tuples followed by a series of authorization constraints, which are identified based on the relationship of the different security components in the mediation system. Two essential features of mediation systems, i. e., relationship among authorization components and interoperability among heterogeneous data sources, are the focus of this investigation. Secondly, this dissertation supports effective access control on mediation systems while providing uniform access for heterogeneous data sources. The dynamic security constraints are handled in the authorization phase instead of the authentication phase, thus the maintenance cost of security specification can be reduced compared with related solutions. ^

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

The role of the transcription factor Ets1 in melanocyte development

Melanocytes, pigment-producing cells, derive from the neural crest (NC), a population of pluripotent cells that arise from the dorsal aspect of the neural tube during embryogenesis. Many genes required for melanocyte development were identified using mouse pigmentation mutants. The deletion of the transcription factor Ets1 in mice results in hypopigmentation; nevertheless, the function of Ets1 in melanocyte development is unknown. The goal of the present study was to establish the temporal requirement and role of Ets1 in murine melanocyte development. In the mouse, Ets1 is widely expressed in developing organs and tissues, including the NC. In the chick cranial NC, Ets1 is required for the expression of Sox10, a transcription factor critical for the development of melanocytes, enteric ganglia, and other NC derivatives. ^ Using a combination of immunofluorescence and cell survival assays Ets1 was found to be required between embryonic days 10 and 11, when it regulates NC cell and melanocyte precursor (melanoblast) survival. Given the requirement of Ets1 for Sox10 expression in the chick cranial NC, a potential interaction between these genes was investigated. Using genetic crosses, a synergistic genetic interaction between Ets1 and Sox10 in melanocyte development was found. Since Sox10 is essential for enteric ganglia formation, the importance of Ets1 on gut innervation was also examined. In mice, Ets1 deletion led to decreased gut innervation, which was exacerbated by Sox10 heterozygosity. ^ At the molecular level, Ets1 was found to activate a Sox10 enhancer critical for Sox10 expression in melanoblasts. Furthermore, mutating Ets1 at a site I characterized in the spontaneous variable spotting mouse pigmentation mutant, led to a 2-fold decrease in enhancer activation. Overexpression and knockdown of Ets1 did not affect Sox10 expression; nonetheless, Ets1 knockdown led to a 6-fold upregulation of the transcription factor Sox9, a gene required for melanocyte and chondrocyte development, but which impairs melanocyte development when its expression is prolonged. Together, these results suggest that Ets1 is required early during melanocyte development for NC cell and melanoblast survival, possibly acting upstream of Sox10. The transcription factor Ets1 may also act indirectly in melanocyte fate specification by repressing Sox9 expression, and consequently cartilage fate.^

The Role of the Transcription Factor Ets1 in Melanocyte Development

Melanocytes, pigment-producing cells, derive from the neural crest (NC), a population of pluripotent cells that arise from the dorsal aspect of the neural tube during embryogenesis. Many genes required for melanocyte development were identified using mouse pigmentation mutants. The deletion of the transcription factor Ets1 in mice results in hypopigmentation; nevertheless, the function of Ets1 in melanocyte development is unknown. The goal of the present study was to establish the temporal requirement and role of Ets1 in murine melanocyte development. In the mouse, Ets1 is widely expressed in developing organs and tissues, including the NC. In the chick cranial NC, Ets1 is required for the expression of Sox10, a transcription factor critical for the development of melanocytes, enteric ganglia, and other NC derivatives. Using a combination of immunofluorescence and cell survival assays Ets1 was found to be required between embryonic days 10 and 11, when it regulates NC cell and melanocyte precursor (melanoblast) survival. Given the requirement of Ets1 for Sox10 expression in the chick cranial NC, a potential interaction between these genes was investigated. Using genetic crosses, a synergistic genetic interaction between Ets1 and Sox10 in melanocyte development was found. Since Sox10 is essential for enteric ganglia formation, the importance of Ets1 on gut innervation was also examined. In mice, Ets1 deletion led to decreased gut innervation, which was exacerbated by Sox10 heterozygosity. At the molecular level, Ets1 was found to activate a Sox10 enhancer critical for Sox10 expression in melanoblasts. Furthermore, mutating Ets1 at a site I characterized in the spontaneous variable spotting mouse pigmentation mutant, led to a 2-fold decrease in enhancer activation. Overexpression and knockdown of Ets1 did not affect Sox10 expression; nonetheless, Ets1 knockdown led to a 6-fold upregulation of the transcription factor Sox9, a gene required for melanocyte and chondrocyte development, but which impairs melanocyte development when its expression is prolonged. Together, these results suggest that Ets1 is required early during melanocyte development for NC cell and melanoblast survival, possibly acting upstream of Sox10. The transcription factor Ets1 may also act indirectly in melanocyte fate specification by repressing Sox9 expression, and consequently cartilage fate.