Arguing satisfaction of security requirements

This chapter presents a process for security requirements elicitation and analysis, based around the construction of a satisfaction argument for the security of a system. The process starts with the enumeration of security goals based on assets in the system, then uses these goals to derive security requirements in the form of constraints. Next, a satisfaction argument for the system is constructed, using a problem-centered representation, a formal proof to analyze properties that can be demonstrated, and structured informal argumentation of the assumptions exposed during construction of the argument. Constructing the satisfaction argument can expose missing and inconsistent assumptions about system context and behavior that effect security, and a completed argument provides assurances that a system can respect its security requirements

Canine-centered interface design: supporting the work of diabetes alert dogs

Many people with Diabetes live with the continuous threat of hypoglycaemic attacks and the danger of going into coma. Diabetic Alert Dogs are trained to detect the onset of an attack before the human handler they are paired with deteriorates, giving them time to take action. We investigated requirements for designing an alert system allowing dogs to remotely call for help when their human falls unconscious before being able to react to an alert. Through a multispecies ethnographic approach we focus on teasing out the requirements for a physical canine user interface, involving both dogs, their handlers and trainers in the design. We discuss tensions between the requirements for the canine and the human users, argue the need for increased sensitivity towards the needs of individual dogs that goes beyond breed specific physical characteristics and reflect on how we can move from designing for dogs to designing with dogs

Interactive situation modelling in knowledge intensive domains

Interactive Situation Modelling (ISM) method, a semi-methodological approach, is proposed to tackle issues associated with modelling complex knowledge intensive domains, which cannot be easily modelled using traditional approaches. This paper presents the background and implementation of ISM within a complex domain, where synthesizing knowledge from various sources is critical, and is based on the principles of ethnography within a constructivist framework. Although the motivation for the reported work comes from the application presented in the paper, the actual scope of the paper covers a wide range of issues related to modelling complex systems. The author firstly reviews approaches used for modelling knowledge intensive domains, preceded by a brief discussion about two main issues: symmetry of ignorance and system behaviour, which are often confronted when applying modelling approaches to business domains. The ISM process is then characterized and critiqued with lessons from an exemplar presented to illustrate its effectiveness

An Assurance Framework for Independent Co-assurance of Safety and Security

Integrated safety and security assurance for complex systems is difficult for many technical and socio-technical reasons such as mismatched processes, inadequate information, differing use of language and philosophies, etc.. Many co-assurance techniques rely on disregarding some of these challenges in order to present a unified methodology. Even with this simplification, no methodology has been widely adopted primarily because this approach is unrealistic when met with the complexity of real-world system development. This paper presents an alternate approach by providing a Safety-Security Assurance Framework (SSAF) based on a core set of assurance principles. This is done so that safety and security can be co-assured independently, as opposed to unified co-assurance which has been shown to have significant drawbacks. This also allows for separate processes and expertise from practitioners in each domain. With this structure, the focus is shifted from simplified unification to integration through exchanging the correct information at the right time using synchronisation activities

Designing intelligent computer‐based simulations: A pragmatic approach

This paper examines the design of intelligent multimedia simulations. A case study is presented which uses an approach based in part on intelligent tutoring system design to integrate formative assessment into the learning of clinical decision‐making skills for nursing students. The approach advocated uses a modular design with an integrated intelligent agent within a multimedia simulation. The application was created using an object‐orientated programming language for the multimedia interface (Delphi) and a logic‐based interpreted language (Prolog) to create an expert assessment system. Domain knowledge is also encoded in a Windows help file reducing some of the complexity of the expert system. This approach offers a method for simplifying the production of an intelligent simulation system. The problems developing intelligent tutoring systems are examined and an argument is made for a practical approach to developing intelligent multimedia simulation systems

Personalised Learning: Developing a Vygotskian Framework for E-learning

Personalisation has emerged as a central feature of recent educational strategies in the UK and abroad. At the heart of this is a vision to empower learners to take more ownership of their learning and develop autonomy. While the introduction of digital technologies is not enough to effect this change, embedding the affordances of new technologies is expected to offer new routes for creating personalised learning environments. The approach is not unique to education, with consumer technologies offering a 'personalised' relationship which is both engaging and dynamic, however the challenge remains for learning providers to capture and transpose this to educational contexts. As learners begin to utilise a range of tools to pursue communicative and collaborative actions, the first part of this paper will use analysis of activity logs to uncover interesting trends for maturing e-learning platforms across over 100 UK learning providers. While personalisation appeals to marketing theories this paper will argue that if learning is to become personalised one must ask what the optimal instruction for any particular learner is? For Vygotsky this is based in the zone of proximal development, a way of understanding the causal-dynamics of development that allow appropriate pedagogical interventions. The second part of this paper will interpret personalised learning as the organising principle for a sense-making framework for e-learning. In this approach personalised learning provides the context for assessing the capabilities of e-learning using Vygotsky’s zone of proximal development as the framework for assessing learner potential and development

Agent mediation and management of virtual communities: a redefinition of the traditional community concept

The paper explores the evolution of the concept of community in the light of computer mediated immersive virtual environments. The traditional concept of community has become strained in its attempts to capture the evolving virtual community. We believe the concept of the virtual community is of paramount importance and examine the extent to which this is being redefined to cater for it. We examine the management and mediation of such an environment and specifically the social process associated with the cohabited users. We advocate the use of multi-agent systems in delivering this functionalit

Animal-Computer Interaction: a Manifesto (2011) and sections from Towards an Animal-Centred Ethics for Animal-Computer Interaction (2016)

Reprint of journal article "Animal-Computer Interaction: a Manifesto" (2011) and of sections of journal article "Towards an Animal-Centred Ethics for Animal-Computer Interaction" (2016

Undercurrents – A Computer-Based Gameplay Tool to Support Tabletop Roleplaying

This paper introduces Undercurrents, a computer-based gameplay tool for providing additional communication and media streams during tabletop roleplaying sessions. Based upon a client-server architecture, the system is intended to unobtrusively support secret communication, timing of audio and visual presentations to game events, and real-time documentation of the game session. Potential end users have been involved in the development and the paper provides details on the full design process