An automated tool for assessing security-critical designs and programs

This paper describes in detail our Security-Critical Program Analyser (SCPA). SCPA is used to assess the security of a given program based on its design or source code with regard to data flow-based metrics. Furthermore, it allows software developers to generate a UML-like class diagram of their program and annotate its confidential classes, methods and attributes. SCPA is also capable of producing Java source code for the generated design of a given program. This source code can then be compiled and the resulting Java bytecode program can be used by the tool to assess the program's overall security based on our security metrics.

Security assessment of code refactoring rules

Refactoring is a common approach to producing better quality software. Its impact on many software quality properties, including reusability, maintainability and performance, has been studied and measured extensively. However, its impact on the information security of programs has received relatively little attention. In this work, we assess the impact of a number of the most common code-level refactoring rules on data security, using security metrics that are capable of measuring security from the viewpoint of potential information flow. The metrics are calculated for a given Java program using a static analysis tool we have developed to automatically analyse compiled Java bytecode. We ran our Java code analyser on various programs which were refactored according to each rule. New values of the metrics for the refactored programs then confirmed that the code changes had a measurable effect on information security.

Efficient solution of multiple cracks in great number using eigen COD boundary integral equations with iteration procedure

A newly developed computational approach is proposed in the paper for the analysis of multiple crack problems based on the eigen crack opening displacement (COD) boundary integral equations. The eigen COD particularly refers to a crack in an infinite domain under fictitious traction acting on the crack surface. With the concept of eigen COD, the multiple cracks in great number can be solved by using the conventional displacement discontinuity boundary integral equations in an iterative fashion with a small size of system matrix to determine all the unknown CODs step by step. To deal with the interactions among cracks for multiple crack problems, all cracks in the problem are divided into two groups, namely the adjacent group and the far-field group, according to the distance to the current crack in consideration. The adjacent group contains cracks with relatively small distances but strong effects to the current crack, while the others, the cracks of far-field group are composed of those with relatively large distances. Correspondingly, the eigen COD of the current crack is computed in two parts. The first part is computed by using the fictitious tractions of adjacent cracks via the local Eshelby matrix derived from the traction boundary integral equations in discretized form, while the second part is computed by using those of far-field cracks so that the high computational efficiency can be achieved in the proposed approach. The numerical results of the proposed approach are compared not only with those using the dual boundary integral equations (D-BIE) and the BIE with numerical Green's functions (NGF) but also with those of the analytical solutions in literature. The effectiveness and the efficiency of the proposed approach is verified. Numerical examples are provided for the stress intensity factors of cracks, up to several thousands in number, in both the finite and infinite plates.

Assessing the construct validity and reliability of the parental perception on antibiotics (PAPA) scales

Background: The overuse of antibiotics is becoming an increasing concern. Antibiotic resistance, which increases both the burden of disease, and the cost of health services, is perhaps the most profound impact of antibiotics overuse. Attempts have been made to develop instruments to measure the psychosocial constructs underlying antibiotics use, however, none of these instruments have undergone thorough psychometric validation. This study evaluates the psychometric properties of the Parental Perceptions on Antibiotics (PAPA) scales. The PAPA scales attempt to measure the factors influencing parental use of antibiotics in children. Methods: 1111 parents of children younger than 12 years old were recruited from primary schools’ parental meetings in the Eastern Province of Saudi Arabia from September 2012 to January 2013. The structure of the PAPA instrument was validated using Confirmatory Factor Analysis (CFA) with measurement model fit evaluated using the raw and scaled χ2, Goodness of Fit Index, and Root Mean Square Error of Approximation. Results: A five-factor model was confirmed with the model showing good fit. Constructs in the model include: Knowledge and Beliefs, Behaviors, Sources of information, Adherence, and Awareness about antibiotics resistance. The instrument was shown to have good internal consistency, and good discriminant and convergent validity. Conclusion: The availability of an instrument able to measure the psychosocial factors underlying antibiotics usage allows the risk factors underlying antibiotic use and overuse to now be investigated.

Improving dental and medical students’ psychological health using a self-development coaching program : a pilot study

Introduction: Dental and medical students worldwide, including in Saudi Arabia, have been reported to have a high incidence of poor psychological health, such as depression, stress, anxiety, and lowlife satisfaction. Self-development coaching programs have become an increasingly popular way to improve individuals’ lives. However, few studies have evaluated the psychological effects of such programs among dental and medical students. Moreover, no studies have been conducted on self-development coaching programs in Saudi Arabia. Aims: The aim of this study was to assess the feasibility of a larger study via a pilot study and to acquire preliminary findings about the effectiveness of a self-development coaching program on psychological health among dental and medical students in Saudi Arabia. Methods: A pre-post interventional study design was used to test a self-development coaching program (How to be an Ultra-Super Student) with a sample of medical students (n=17) at Umm Al-Qura University at Saudi Arabia. The outcome measures were students’ psychological distress (depression, anxiety, and stress), life satisfaction, self-efficacy, the coach, and coaching program characteristics. Results: The study showed that there was a significant improvement in depression (p=0.04), self-efficacy (p=0.02), and satisfaction with life (p=0.04), which supported the feasibility of a large study in the future. Conclusions: The study’s findings encourage the implementation of a randomized, controlled trial study with a larger sample to further test the effectiveness of using self-development coaching programs with medical and dental students in Saudi Arabia to improve their psychological health.

Everything you do : young adult fiction and surveillance in an age of security

Espionage, surveillance and clandestine operations by secret agencies and governments were something of an East–West obsession in the second half of the twentieth century, a fact reflected in literature and film. In the twenty-first century, concerns of the Cold War and the threat of Communism have been rearticulated in the wake of 9/11. Under the rubric of ‘terror’ attacks, the discourses of security and surveillance are now framed within an increasingly global context. As this article illustrates, surveillance fiction written for young people engages with the cultural and political tropes that reflect a new social order that is different from the Cold War era, with its emphasis on spies, counter espionage, brainwashing and psychological warfare. While these tropes are still evident in much recent literature, advances in technology have transformed the means of tracking, profiling and accumulating data on individuals’ daily activities. Little Brother, The Hunger Games and Article 5 reflect the complex relationship between the real and the imaginary in the world of surveillance and, as this paper discusses, raise moral and ethical issues that are important questions for young people in our age of security.

Developing a framework of effective prevention and response strategies in workplace sexual harassment

Sexual harassment remains a widespread workplace phenomenon, despite laws that proscribe it. Drawing initially on a typology from the violence prevention literature that conceptualizes prevention and response approaches according to when they occur, the paper synthesizes strategies identified in literature addressing workplace sexual harassment, as well as other workplace injustices or grievances. The paper utilizes this previous research to develop a framework of sexual harassment prevention strategies along two dimensions: functions and timing. The framework offers a research-informed set of organization-wide preventative and remedial approaches, a systemic approach to what is often seen as an individual problem, and a means to better focus interventions that are often disparate and unco-ordinated. The paper also highlights important areas for future research including a stronger focus on longer-term (tertiary) corrective actions.

Virtual resistance based active damping solution for constant power instability in AC microgrids

With ever-increasing share of power electronic loads constant power instability is becoming a significant issue in microgrids, especially when they operate in the islanding mode. Transient conditions like resistive load-shedding or sudden increase of constant power loads (CPL) might destabilize the whole system. Modeling and stability analysis of AC microgrids with CPLs have already been discussed in literature. However, no effective solutions are provided to stabilize this kind of system. Therefore, this paper proposes a virtual resistance based active damping method to eliminate constant power instability in AC microgrids. Advantages and limitations of the proposed method are also discussed in detail. Simulation results are presented to validate the proposed active damping solution.

Contrast and Emphasis: An Essay on the Modal Adverb Ke in Declarative Sentences [对比与强调 --- 谈陈述句中的语气副词“可”]

The data-oriented empirical research on the Chinese adverb “ke” has led to the conclusion that the semantics of the word as a modal adverb is always two-fold: it marks both “contrast” and “emphasis”. “Adversativity” as used in literature on “ke” is but one type of contrast marked by “ke”. Other types of contrast marked by “ke” in declarative sentences include: a) what is assumed by the hearer and what the truth of a matter is; b) what the sentence literally talks about and what it also implicitly conveys; and c) the original wishful nature of the stated action and its final realization. In all declarative sentences, what the adverb emphasizes is the “factuality” of what is stated. Chinese Abstract [提要] 对外汉语教学的实践表明，汉语副词“可”是教学中的难点，这跟我们对其语义内涵缺乏全面准确的认识有关。为了全面揭示副词“可”的核心语义，本作者以电视连续剧《渴望》前二十集为主要语料，并结合其他一些电视剧、电视节目以及文献里已有的语料，对出现在各种语境中的“可”进行了大量的考察和归纳性研究。研究结果表明，作为语气副词的“可”其核心语义不是单一的，它总是在标示“对比”（即“不同”）的同时表示强调。它所强调的是所述内容的“事实性”或“终然性”。由于篇幅所限，本文仅对陈述句中的语气副词“可”加以讨论

The fantastic in the family sagas : implications for saga authorship

There is increasing acceptance that characterisation in the family sagas is complex enough to include the subtle incorporation of protagonists’ inner lives. Thus, despite saga authors’ apparent desire to pass on traditional stories, saga characterization brings with it the possibility of a connection between the medieval author and the early Icelandic community represented in the sagas, a break in the saga code of objective narration that adds further weight to recent arguments that saga authorship was conceived in broader terms than merely the preservation of oral tales. One such break in objectivity occurs in the range of responses to the fantastic, when characters are forced to interpret the supernatural or strange events in their lives. At such times, the author allows glimpses of the inner lives of characters, focussing our attention on the way in which characters perceived and dealt with extraordinary occurrences, but also highlighting and thematising the distinctive social context of the early Icelandic community.

MIMO and SISO identification of radiation force terms for models of marine structures in waves

This paper presents a discussion on the use of MIMO and SISO techniques for identification of the radiation force terms in models for surface vessels. We compare and discuss two techniques recently proposed in literature for this application: time domain identification and frequency domain identification. We compare the methods in terms of estimates model order, accuracy of the fit, use of the available information, and ease of use and implementation.

Natural ventilation heuristics in high-rise residential buildings : evaluation and prediction

Complex behaviour of air flow in the buildings makes it difficult to predict. Consequently, architects use common strategies for designing buildings with adequate natural ventilation. However, each climate needs specific strategies and there are not many heuristics for subtropical climate in literature. Furthermore, most of these common strategies are based on low-rise buildings and their performance for high-rise buildings might be different due to the increase of the wind speed with increase in the height. This study uses Computational Fluid Dynamics (CFD) to evaluate these rules of thumb for natural ventilation for multi-residential buildings in subtropical climate. Four design proposals for multi-residential towers with natural ventilation which were produced in intensive two days charrette were evaluated using CFD. The results show that all the buildings reach acceptable level of wind speed in living areas and poor amount of air flow in sleeping areas.

Modelling collision potentials in Port Anchorages: Application of the Navigational Traffic Conflict Technique (NTCT)

Despite the extent of works done on modelling port water collisions, not much research effort has been devoted to modelling collisions at port anchorages. This paper aims to fill this important gap in literature by applying the Navigation Traffic Conflict Technique (NTCT) for measuring the collision potentials in anchorages and for examining the factors contributing to collisions. Grounding on the principles of the NTCT, a collision potential measurement model and a collision potential prediction model were developed. These models were illustrated by using vessel movement data of the anchorages in Singapore port waters. Results showed that the measured collision potentials are in close agreement with those perceived by harbour pilots. Higher collision potentials were found in anchorages attached to shoreline and international fairways, but not at those attached to confined water. Higher operating speeds, larger numbers of isolated danger marks and day conditions were associated with reduction in the collision potentials.

How religiosity influences consumption: The impact of consumer religiosity on perceptions of psychological and social risk

For some people, religion is an important influence in decision-making. This thesis investigates the relationship between the religiosity of consumers and their perceived risk in adopting new products. Two studies gathered data from religious consumers living in Saudi Arabia, Australia, Canada, New Zealand, the UK and the USA. The results confirm the significant impact of religion on perceived risk, and suggest why this may lead to delays in adoption. Theoretically, these studies provide a better explanation of how religion influences consumption decisions, and offer brand managers options to improve the adoption of new products in religious markets.

The impact of a self-development coaching programme on medical and dental students’ psychological health and academic performance: A randomised controlled trial

Background Psychological distress is well-documented worldwide among medical and dental students. Few studies have assessed the impact of self-development coaching programs on the students’ psychological health. The aim of the study was to evaluate the effect of a self-development coaching programme on the psychological health and academic performance of preclinical medical and dental students at Umm Al-Qura University, Saudi Arabia. Methods Four-hundred and twenty-two participants (n = 422, 20–22 years) fulfilled the study requirements and were invited into a parallel-randomised controlled trial that was partially blinded. Participants were stratified by faculty, gender, and academic year, and then randomised. A total of 156 students participated in the intervention group (IG) and 163 students participated in the control group (CG). The IG received the selfdevelopment programme, involving skills and strategies aimed to improve students’ psychological health and academic performance, through a two-day workshop. Meanwhile, the CG attended an active placebo programme focussing on theoretical information that was delivered through a five-hour workshop. Both programmes were conducted by the same presenter during Week 1 of the second semester of the 2012–2013 academic year. Data were gathered immediately before (T1), one week after (T2) and five weeks (T3) after the intervention. Psychological health was measured using the Depression Anxiety Stress Scale (DASS-21), the General Self-Efficacy (GSE), and the Satisfaction With Life Scale (SWLS). Academic performance was measured using students’ academic weighted grades (WG). Student cognitive and emotional perceptions of the intervention were measured using the Credibility/Expectancy Questionnaire (CEQ). Results Data from 317 students, who completed the follow ups, were analysed across the three time periods (IG, n = 155; CG, n = 162). The baseline variables and demographic data of the IG and CG were not significantly different. The IG showed short-term significant reductions in depression and anxiety in compared to CG from T1 to T2. The short-term changes in stress, GSE and SWLS of the IG were not significantly different from those of the CG. While both groups showed a significant change on most of the psychological variables from T1 to T3, no significant differences were found between the groups in this period. In addition, no significant difference was found in WG between the IG and CG after the intervention. No harms relevant to the intervention were reported. Conclusion The investigated self-development coaching programme showed only a short-term improvement on depression and anxiety compared with an active control. There was no effect of the intervention on academic performance.