Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:J.Jürjens
Talks about:secur (3) develop (1) analysi (1) system (1) requir (1) verif (1) model (1) autom (1) tool (1) lsec (1)
Person: Pasha Shabalin
DBLP: Shabalin:Pasha
Contributed to:
2005
2004Wrote 2 papers:
- FASE-2005-JurjensS #analysis #development #security #tool support #uml
- Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
- UML-2004-JurjensS #automation #modelling #requirements #security #verification
- Automated Verification of UMLsec Models for Security Requirements (JJ, PS), pp. 365–379.