Travelled to:2 × USA
Collaborated with:J.Jürjens M.Vetterling A.K.Wißpeintner
Talks about:protocol (1) electron (1) criteria (1) project (1) develop (1) system (1) safeti (1) formal (1) common (1) secur (1)
Person: Guido Wimmel
DBLP: Wimmel:Guido
Contributed to:
2002
2001Wrote 2 papers:
- FSE-2002-VetterlingWW #development
- Secure systems development based on the common criteria: the PalME project (MV, GW, AKW), pp. 129–138.
- ASE-2001-JurjensW #protocol #testing
- Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.