Travelled to:1 × Belgium
1 × Japan
2 × USA
Collaborated with:B.Nuseibeh S.L.Graham W.N.Joy Y.Yu R.C.Laney J.D.Moffett L.Montrieux J.Jürjens P.Schobbens H.Toussaint T.T.Tun A.K.Bandara B.A.Price I.Omoronyia
Talks about:requir (2) disclosur (1) recoveri (1) properti (1) argument (1) support (1) privaci (1) practic (1) generat (1) assumpt (1)
Person: Charles B. Haley
DBLP: Haley:Charles_B=
Contributed to:
2012
20102004
1979Wrote 4 papers:
- RE-2012-TunBPYHON #mobile #privacy #requirements
- Privacy arguments: Analysing selective disclosure requirements for mobile applications (TTT, AKB, BAP, YY, CBH, IO, BN), pp. 131–140.
- ASE-2010-MontrieuxJHYST #code generation #tool support
- Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.
- RE-2004-HaleyLMN #requirements #security #trust
- The Effect of Trust Assumptions on the Elaboration of Security Requirements (CBH, RCL, JDM, BN), pp. 102–111.
- SCC-1979-GrahamHJ #fault #lr
- Practical LR error recovery (SLG, CBH, WNJ), pp. 168–175.