• Publications
  • Influence
Security Requirements Engineering: A Framework for Representation and Analysis
TLDR
The framework is based on constructing a context for the system, representing security requirements as constraints, and developing satisfaction arguments for the security requirements, and is evaluated by applying it to a security requirements analysis within an air traffic control technology evaluation project.
Relating software requirements and architectures using problem frames
TLDR
The applicability of problem frames is extended to include domains with existing architectural support, allowing architectural structures, services and artifacts to be considered as part of the problem domain.
Deriving security requirements from crosscutting threat descriptions
TLDR
This paper illustrates how representing threats as crosscutting concerns aids in determining the effect of security requirements on the functional requirements of the system.
UniPad: orchestrating collaborative activities through shared tablets and an integrated wall display
TLDR
How lightweight, multi-device shared technology systems, such as UniPad, can be designed and used for a range of classroom activities are discussed.
A Comparative Evaluation of Algorithms for Discovering Translational Patterns in Baroque Keyboard Works
TLDR
It is demonstrated that in all but the most carefully selected excerpts of music, the two existing algorithms can be affected by what is termed the 'problem of isolated membership'.
A framework for security requirements engineering
This paper presents a framework for security requirements elicitation and analysis, based upon the construction of a context for the system and satisfaction arguments for the security of the system.
Security patterns: comparing modeling approaches
Addressing the challenges of developing secure software systems remains an active research area in software engineering. Current research efforts have resulted in the documentation of recurring
Computer-Generated Stylistic Compositions with Long-Term Repetitive and Phrasal Structure
TLDR
This article describes and evaluates an algorithm, referred to hereafter as Racchmaninof, which generates passages of music in a specifiable style, and considers the potential for applying the algorithm to additional composers and/or genres of music.
Composing requirements using problem frames
Problem frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a problem, one
The effect of trust assumptions on the elaboration of security requirements
TLDR
A running example shows how trust assumptions can be used by a requirements engineer to help define and limit the scope of analysis and to document the decisions made during the process.
...
...