Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic

The main slowdown of Cloud activity comes from the lack of reliable security. The on-demand security concept aims at delivering and enforcing the client's security requirements. In this paper, we present an approach, Information Flow Past Linear Time Logic (IF-PLTL), to specify how a system can support a large range of security properties. We present in this paper how to control those information flows from lower system events. We give complete details over IF-PLTL syntax and semantics. Furthermore, that logic enables to formalize a large set of security policies. Our approach is exemplified with the Chinese Wall commercial-related policy. Finally, we discuss the extension of IF-PLTL with dynamic relabeling to encompass more realistic situations through the dynamic domains isolation policy.La principale cause de ralentissement de l'adoption du Cloud est le manque de sécurité fiable. Le concept de sécurité à la demande est de déployer et d'appliquer les demandes de sécurité d'un client. Dans ce papier, nous présentons une approche, Information Flow Past Linear Time Logic (IF-PLTL), qui permet de spécifier comment un système peut supporter un large ensemble de propriétés de sécurité. Nous présentons dans ce papier comment ces flux d'information peuvent être contrôler en utilisant les événements systèmes de bas niveau. Nous donnons une description compléte de la syntaxe de IF-PLTL ainsi que sa sémantique. De plus, cette logique permet de formaliser un large ensemble de politiques de sécurité. Notre approche est illustrée par la politique de sécurité de la muraille de Chine orienté vers le monde commercial. Finalement, nous montrons comment nous avons étendu notre langage pour supporter la relabélisation dynamique qui permet de supporter la dynamicité inhérante des systèmes. Nous illustrons cette extension par la formalisation d'une propriété de sécurité pour l'isolation dynamique de domaines

Noninterference in Concurrent Game Structures

Noninterference is a technique to formally capture the intuitive notion of information flow in the context of security. Information does not flow from one agent to another if the actions of the first have no impact on the future observations of the second. Various formulations of this notion have been proposed based on state machines and the removal of actions from action sequences. A new model known as the concurrent game structure [CGS] has recently been introduced for analysis multi-agent systems. We propose an alternate formulation of noninterference defined for systems modeled by CGS\u27s and analyze the impact of the new approach on noninterference research based on existing definitions

Untamed Tribunal? Of Dynamic Interpretation and Purpose Clauses

This study examines the use of the purpose clause in labour legislation as a means for the legislature to exert control over the decision-making of a labour relations board. It examines the history of the purpose clause in British Columbia labour legislation, assesses its effectiveness as an instrument of control and, finally, draws on legislative theory to consider whether this is an instance of a rogue board defying the will of the Legislature, or of an administrative tribunal fulfilling its legitimate function. The article concludes that, rather than tribunal misconduct, a fairer interpretation of the BC Labour Board\u27s treatment of the purpose clause is that of an administrative tribunal fulfilling its role by exercising its discretion to reflect its own narrative, understanding and history of the statute and labour relations system as a whole, in its decisions to dynamically interpret the new purpose clause

Occurrent Contractarianism: A Preference-Based Ethical Theory

There is a problem within contractarian ethics that I wish to resolve. It concerns individualpreferences. Contractarianism holds that morality, properly conceived, can satisfy individualpreferences and interests better than amorality or immorality. W hat is unclear, however, iswhether these preferences are those individuals actually hold or those that they should hold. The goal of my thesis is to investigate this question. I introduce a version of contractarian ethicsthat relies on ind ividual preferences in a manner more stringent than has been in the literatureto date

Teaching English in the Philippines: a diary study of a novice ESL teacher

In this diary study, the writer explores the similarities and differences between teaching English at the college level in the Philippines and the United States while completing internships in the summers of 2011 and 2012. His students were in their first or second year of university classes and were working towards a Bachelor of Science in Elementary Education, a Bachelor of Science in Secondary Education, or an AB in English. As part of the critical ethnography, the diarist considers cultural influences that affect the language learning. He includes three lessons he designed and taught as well as his impressions of student and teacher responses to the materials and the Communicative Language Teaching approaches he incorporated to create a community of learners and encourage student engagement. This is followed by a discussion of the research questions and assumptions made prior to the internships. In his final reflections, he offers suggestions for future teachers considering teaching English in the Philippines --Document

An analytical tale of the social media discursive enactment of networked everyday resistance during the #feesmustfall social movement in South Africa

Social media are a space for discussions, debates and deliberations about personality, culture, society, and actual experiences of social actors in South Africa. They offer an unexpected opportunity for the broader consideration and inclusion of community members’ voices in governance decision making and policy processes. They also offer opportunities to engage, mobilise and change people and society in impressive scale, speed and effect: They have mobilising and transformative powers emanating from their interaction with the impetus of the agency of community members seeking better conditions of living. The magnitude of the effects of these powers makes it imperative to have a better understanding of their workings. Social media have been used in numerous social movements as the medium of communication to mobilise, coordinate, and broadcast protests. However, social media were never a guarantee of success as most movements using them did not achieve significant results. Yet, governments in developed and developing countries tend to engage inadequately with social media supported movements. The research problem is that the contribution of social media to the transformation of the social practice of discourse, which causes SSA community members’ agential impetus (collective intentionality for action) to generate a discourse of resistance on social media during social movements, is not well understood. The main research question is: Why are South African community members using social media to enact online discursive resistance during social movements? The aim of the research is to explain, from a critical realism point of view, Sub-Saharan African community members’ emergent usage of social media during social movements, by providing a contextualised social history (a tale) of South African community members’ practice of online discursive enactment of resistance. The emergent usage of social media of concern is conceptualised as “discursive enactment of networked everyday resistance” within a dialectical space of interaction conceptualised as “space of autonomous resistance”; an instance of a communication space allowing for transformative negation to occur. The research follows Bhaskar’s Critical Realism as a philosophical paradigm. Critical Realism seeks to explain phenomena by retroducing (retrospective inference) causal explanations from empirically observable phenomena to the generative mechanisms which caused them. The research was designed as a qualitative, processual and retroductive inquiry based on the Morphogenetic/Morphostasis approach with two phases: an empirical research developing the case of South African community members’ emergent usage of social media during the #feesmustfall social movement, looking for demi-regularities in social media discourse; and a transcendental research reaching into the past to identified significant events, objects and entities which tendencies are responsible for the shape of observed discourse. In the first phase, a case study was developed from data collected on the social media platform Twitter™, documents, and in-depth interviews of South African community members. The data collected were analysed using qualitative content analysis (QCA) and Critical Discourse Analysis (CDA) to unveil demi-regularities; moving from the observable individual strategic orientation of messages to discourses, thus to the tendencies of relational emergent properties of systemic magnitude which structure local discourses and are transformed by them. Then, the social mediainduced morphogenesis or transformation of South African community members’ discursive action was postulated in an analytical history of emergence (or analytical tale) of their usage of social media within a “space of autonomous resistance” during social movements. The findings of the research suggest that South African community members authored 3 discourses of resistance on Twitter™: #feesmustfall discourses of struggle, identity and oppression. They identified as “student qua black-child” stepping into the “Freedom fighter” role against the hegemonic post-apartheid condition curtailing their aspirations. It was found that social media socio-cultural embeddedness and under-design (Western European socio-cultural globalising underpinning features and functional features of the platforms) which interaction with the local socio-cultural mix (postapartheid socio-cultural tendencies for domination/power, spiral of silence, and legitimacy/identification) resulted in misfits and workarounds enhancing individual emotional conflict and aligning towards a socio-cultural opportunistic contingent complementarity integration in the deployment of discourse. That integration was actualised as a mediatization emergent property through asignification/signification of mainstream discourses of liberal democracy, colonial capitalism, national democratic revolution, free and decolonised education, black consciousness and Fallism. That mediatization through re-signification of the struggle for freedom created a communication “space of autonomous resistance” where networked freedom fighters enacted discursive everyday resistance against the hegemonic forces of students’ precariousness. The contribution of the research includes a realist model of social media discursive action (ReMDA); an explanation of South African community members’ deployment of discourse over social media during social movement and telling the tale of the transformation of discursive practices with the advent of social media in South Africa