Charles B. Haley

According to our database, Charles B. Haley authored at least 16 papers between 1979 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Privacy arguments: Analysing selective disclosure requirements for mobile applications.

Thein Than Tun, Arosha K. Bandara, Blaine A. Price, Yijun Yu, Charles B. Haley, Inah Omoronyia, Bashar Nuseibeh

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

2010

Model-Based Argument Analysis for Evolving Security Requirements.

Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar Nuseibeh

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Tool support for code generation from a UMLsec property.

Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint

Proceedings of the ASE 2010, 2010

2009

Securing the Skies: In Requirements We Trust.

Bashar Nuseibeh, Charles B. Haley, Craig J. Foster

Computer, 2009

A Framework for Developing Feature-Rich Software Systems.

Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

Security Requirements Engineering: A Framework for Representation and Analysis.

Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh

IEEE Trans. Software Eng., 2008

2007

Arguing security : a framework for analyzing security requirements.

Charles B. Haley

PhD thesis, 2007

2006

Using trust assumptions with security requirements.

Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh

Requir. Eng., 2006

A framework for security requirements engineering.

Charles B. Haley, Jonathan D. Moffett, Robin C. Laney, Bashar Nuseibeh

Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

Trust Obstacle Mitigation for Database Systems.

Victor Page, Robin C. Laney, Maurice Dixon, Charles B. Haley

Proceedings of the Flexible and Efficient Information Handling, 2006

2004

The Effect of Trust Assumptions on the Elaboration of Security Requirements.

Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements.

Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh

Proceedings of the Trust Management, Second International Conference, 2004

Deriving security requirements from crosscutting threat descriptions.

Charles B. Haley, Robin C. Laney, Bashar Nuseibeh

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003

Using Problem Frames with Distributed Architectures: A Case for Cardinality on Interfaces.

Charles B. Haley

Proceedings of the ICSE 2003, 2003

1982

Gemini - A reliable Local Network.

Neil B. Cohen, Charles B. Haley, Scott Henderson, Chak Won

Proceedings of the Sixth Berkeley Workshop on Distributed Data Management and Computer Networks, 1982

1979

Practical LR error recovery.

Susan L. Graham, Charles B. Haley, William N. Joy

Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, 1979