1,721,230 research outputs found
A rigorous tool-supported methodology for assuring the security and safety of cyber-physical systems
No full textThe increased usage of cyber-physical systems in a number of domains poses a unique
challenge: how can one be assured of both the security and safety of these systems?
While there are a large number of methodologies in the literature for performing security
analysis or safety analysis, many of these are not specific to cyber-physical systems and
the challenges these pose. Attempts at producing methodologies for security & safety
co-analysis have equally met difficulties in terms of reconciling the different approaches
and terminology often used by the separate domains.
One solution involves the development of a systems theory-based model for understanding
how safety, security & other emergent behaviours of systems can be framed and
understood. Such an understanding can then be used in a systematic methodology for
performing co-analysis in a structured and robust way.
This thesis presents a methodology called Security-Enhanced Systems-Theoretic Process
Analysis (SE-STPA), based on an underlying model known as Systems-Theoretic Accident
& Attack Model and Processes (STAAMP), which combines safety and security
analysis into one unified co-analysis method. It represents an evolution on existing work
in safety by Leveson [90] and attempts to address several shortfalls of the existing approach
in regards to security. SE-STPA is presented with two case studies that were
utilised to evolve the methodology into a mature state. Finally, this thesis presents a
discussion on future improvements that could be undertaken to develop the methodology
further
Supplemental material for The Role of Grandchildren’s Own Age-Related Communication and Accommodation From Grandparents in Predicting Grandchildren’s Well-Being
No full textSupplemental Material for The Role of Grandchildren’s Own Age-Related Communication and Accommodation From Grandparents in Predicting Grandchildren’s Well-Being by Quinten S. Bernhold and Howard Giles in The International Journal of Aging and Human Development</p
Appendix -Supplemental material for Communicative Predictors of Older Adults’ Successful Aging, Mental Health, and Alcohol Use
No full textSupplemental material, Appendix for Communicative Predictors of Older Adults’ Successful Aging, Mental Health, and Alcohol Use by Quinten S. Bernhold, Jessica Gasiorek and Howard Giles in The International Journal of Aging and Human Development</p
Social and Educational Consequences of Language Attitudes
No full textI denna artikel diskuterar James Bradac och Howard Giles förhållandet mellan språkliga attityder och språkundervisning. Förf., som båda är verksamma vid University of California at Santa Barbara, har publicerat ett stort antal arbeten inom områdena Communication Studies och The Social Psychology of Language. Bland Bradacs arbeten märks Language and Social Knowledge (1982; tills.m. C. Berger). Han är vidare redaktör för tidskriften Human Communication Research. Giles är tills.m. P.F. Powesland författare till den viktiga monografin Speech Style and Social Evaluation (1975) och, tills.m. W.P. Robinson, redaktör för den nya Handbook of Language and Social Psychology
Code switching on facebook group comments by using c.hoffman and howard giles theories
No full textThis research is aimed to find out the type and reason of code switching that people do on group?s Facebook comments by using Charlotte Hoffman?s theory and Howard Giles theory. Besides that two theories the Writer uses the supporting theories, such as; bilingualism, The writer uses descriptive qualitative method. She describes the type of code switching based on Hoffman?s theory and the reason of code switching based on Howard Giles? theory. Then, she analyzes the Facebook?s comments on a several group Facebook. However, before she analyzes the data, firstly she collects the data from the group Facebook, and then she chooses the Facebook?s comments carefully. After that she analyzes the data to find out the type and reason why people do code switching. As the conclusion, the writer finds the type and the reason of code switching that people do on Facebook?s comments. Then, the writer finds that some of types of code switching are dominated on the data, while then the reason of code switching is dominated by Convergenc
Accommodating a legend: Howard Giles and the social psychology of language and communication
No full textThis chapter provides a brief historical account of the career of Howard Giles. It outlines his contributions to work on communication accommodation, intergenerational relations, and the study of language in intergroup contexts. In doing so, it briefly addresses issues relating to ethnolinguistic identity and vitality, among other theoretical concepts. It closes by presenting a new schematic model outlining the ways in which Giles’ work incorporates more micro to macro levels of analysis, and more molecular and molar levels of detail. The model also incorporates Giles’ emphasis on considering life-span developmental processes in all aspects of his work. The chapter briefly introduces the rest of the book
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
No full textCyber-physical systems represent a challenge to conventional security and safety analysis techniques due to their complexity and the need to consider both safety and security equally. It is also important that the requirements generated to mitigate against safety and security risks are clear and adequately address the underlying issue. A methodology is presented in this paper to allow for integrated safety and security analysis of cyber-physical systems, particularly in a critical infrastructure context. This methodology uses a modified form of STPA, which has been coupled with our concept of adversarial modelling, to analyse for security and safety hazards which are then mitigated against by the creation of critical requirements. These critical requirements are then validated through their application to an Event-B formal model, allowing for their completeness to be verified. The output of the methodology is a set of critical requirements that guide iteration of and improvements to the system design to ensure its safety and security are maintained
Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology
No full textCyber-physical systems represent an engineering challenge due to their safety and security concerns, particularly those systems involved in critical infrastructure which require some of the highest standards of safety, availability, integrity and security. The complexity of these systems makes the identification and analysis of safety and security requirements challenging. In this paper, we present a methodology for identifying and formally analysing safety and security requirements, based on the STPA methodology and combined with modelling, traceability and formal verification through use of the Event-B formal method. Our STPA approach is then leveraged to generate ‘critical requirements’ to mitigate against undesirable system states, which are subsequently translatedinto constraints on an Event-B representation of the system. The Rodin toolset allows us to demonstrate that these critical requirements fully mitigate against the undesirable system states and therefore provide automated verification of the critical requirements
sj-docx-1-gpi-10.1177_13684302221115640 – Supplemental material for The role of anger in mediating the effects of procedural justice and injustice
No full textSupplemental material, sj-docx-1-gpi-10.1177_13684302221115640 for The role of anger in mediating the effects of procedural justice and injustice by Howard Giles, Edward R. Maguire, Shawn L. Hill, Edward R. Maguire, Belen Lowrey-Kinberg and Devon Johnson in Group Processes & Intergroup Relations</p
- …
