Haley, Charles B. - Faculty of Mathematics, Computing and Technology, Open University

Advanced Search

Haley, Charles B. - Faculty of Mathematics, Computing and Technology, Open University

Tool Support for Code Generation from a UMLsec Lionel Montrieux
Setting Up Unix Seventh Edition Charles B. Haley
Picking Battles: the Impact of Trust Assumptions on the Elaboration of Security Requirements
A framework for developing feature-rich software systems Thein Than Tun
ReseaRch FeaTURe computer46 Published by the IEEE Computer Society 0018-9162/09/$26.00 2009 IEEE
D. Bell and J. Hong (Eds.): BNCOD 2006, LNCS 4042, pp. 254 257, 2006. Springer-Verlag Berlin Heidelberg 2006
Extending Problem Frames Projections to Support Subproblems as Services Charles B. Haley, Robin C. Laney, Bashar Nuseibeh
Abstract--A number of on-line applications were built for a small university using a micro-sized development team. Four
Practical LR Error Recoveryt Susan L. Graham
Regenerating System Software Charles B. Haley
Arguing Security: Validating Security Requirements Using Structured Argumentation
Berkeley Pascal User's Manual Version 3.1 --April 1986
Security Requirements Engineering: A Framework for Representation and Analysis
Using Trust Assumptions in Security Requirements Engineering Charles B. Haley, Robin C. Laney, Bashar Nuseibeh
Using Problem Frames with Distributed Architectures: A Case for Cardinality on Interfaces
Arguing Satisfaction of Security Requirements Charles B. Haley
A Framework for Security Requirements Engineering Charles B. Haley
Deriving Security Requirements from Crosscutting Threat Descriptions
ORIGINAL ARTICLE Charles B. Haley Robin C. Laney
Using Problem Frames and Projections to Analyze Requirements for Distributed Systems
The Effect of Trust Assumptions on the Elaboration of Security Requirements
Model-based Argument Analysis for Evolving Security Requirements Thein Than Tun1
Bridging Requirements and Architecture for Systems of Systems Charles B. Haley