2005 |
15 | EE | Jan Jürjens,
Markus Lehrhuber,
Guido Wimmel:
Model-Based Design and Analysis of Permission-Based Security.
ICECCS 2005: 224-233 |
2004 |
14 | EE | Martin Deubler,
Johannes Grünbauer,
Gerhard Popp,
Guido Wimmel,
Chris Salzmann:
Tool Supported Development of Service-Based Systems.
APSEC 2004: 99-108 |
13 | EE | Martin Deubler,
Johannes Grünbauer,
Jan Jürjens,
Guido Wimmel:
Sound development of secure service-based systems.
ICSOC 2004: 115-124 |
12 | | Johannes Grünbauer,
Jan Jürjens,
Guido Wimmel:
Modelling Secure IT Systems - A Survey.
Modellierung 2004: 307-308 |
2003 |
11 | EE | Jan Romberg,
Jan Jürjens,
Guido Wimmel,
Oscar Slotosch,
Gabor Hahn:
AutoFOCUS and the MoDe Tool.
ACSD 2003: 249-250 |
10 | EE | Gerhard Popp,
Jan Jürjens,
Guido Wimmel,
Ruth Breu:
Security-Critical System Development with Extended Use Cases.
APSEC 2003: 478-487 |
9 | EE | David Bettencourt da Cruz,
Bernhard Rumpe,
Guido Wimmel:
Retrofitting Security into a Web-Based Information System.
ICWE 2003: 301-305 |
8 | EE | Johannes Grünbauer,
H. Hollmann,
Jan Jürjens,
Guido Wimmel:
Modelling and Verification of Layered Security Protocols: A Bank Application.
SAFECOMP 2003: 116-129 |
2002 |
7 | EE | Guido Wimmel,
Jan Jürjens:
Specification-Based Test Generation for Security-Critical Systems Using Mutations.
ICFEM 2002: 471-482 |
6 | EE | Monika Vetterling,
Guido Wimmel,
Alexander K. Wißpeintner:
Secure systems development based on the common criteria: the PalME project.
SIGSOFT FSE 2002: 129-138 |
2001 |
5 | EE | Jan Jürjens,
Guido Wimmel:
Formally Testing Fail-Safety of Electronic Purse Protocols.
ASE 2001: 408-411 |
4 | EE | Jan Jürjens,
Guido Wimmel:
Specification-Based Testing of Firewalls.
Ershov Memorial Conference 2001: 308-316 |
3 | | Jan Jürjens,
Guido Wimmel:
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications.
I3E 2001: 489-506 |
2 | | Guido Wimmel,
Alexander K. Wißpeintner:
Extended Description Techniques for Security Engineering.
SEC 2001: 469- |
2000 |
1 | | Guido Wimmel,
Heiko Lötzbeyer,
Alexander Pretschner,
Oscar Slotosch:
Specification based test sequence generation with propositional logic.
Softw. Test., Verif. Reliab. 10(4): 229-248 (2000) |