13 papers:
FASE-2011-HateburHJS #design #development #modelling #requirements #security- Systematic Development of UMLsec Design Models Based on Security Requirements (DH, MH, JJ, HS), pp. 232–246.
CAiSE-2011-SchmidtJ #analysis #design #requirements #security #using- Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec (HS, JJ), pp. 367–382.
ECMFA-2011-JurjensMOS #evolution #incremental #modelling #security #verification- Incremental Security Verification for Evolving UMLsec models (JJ, LM, MO, HS), pp. 52–68.
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.
MoDELS-2009-LloydJ #analysis #authentication #ml #security #using- Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
- MoDELS-2009-LloydJ #analysis #authentication #ml #security #using
- Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
- FASE-2008-JurjensSY #analysis #automation #security #using
- Automated Analysis of Permission-Based Security Using UMLsec (JJ, JS, YY), pp. 292–295.
MBT-2008-Jurjens #case study #modelling #security #testing #using- Model-based Security Testing Using UMLsec: A Case Study (JJ), pp. 93–104.
ICSE-2007-BestJN #distributed #information management #modelling #security #using- Model-Based Security Engineering of Distributed Information Systems Using UMLsec (BB, JJ, BN), pp. 581–590.
UML-2004-JurjensS #automation #modelling #requirements #security #verification- Automated Verification of UMLsec Models for Security Requirements (JJ, PS), pp. 365–379.
- UML-2002-Jurjens #development #named #uml
- UMLsec: Extending UML for Secure Systems Development (JJ), pp. 412–425.
SAC-2002-Jurjens02a #development #using- Using UMLsec and goal trees for secure systems development (JJ), pp. 1026–1030.
- FASE-2001-Jurjens #development #towards #using
- Towards Development of Secure Systems Using UMLsec (JJ), pp. 187–200.
