| 2005 |
|---|
| 11 | | Dieter Hutter,
Markus Ullmann:
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Springer 2005 |
| 2004 |
|---|
| 10 | | Dieter Hutter,
Günter Müller,
Werner Stephan,
Markus Ullmann:
Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Springer 2004 |
| 2003 |
|---|
| 9 | EE | Dieter Hutter,
Werner Stephan,
Markus Ullmann:
Security and Privacy in Pervasive Computing State of the Art and Future Directions.
SPC 2003: 285-289 |
| 2001 |
|---|
| 8 | | Markus Ullmann,
Frank Koob,
Harald Kelter:
Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen.
Datenschutz und Datensicherheit 25(11): (2001) |
| 7 | | Markus Ullmann:
Zukunft der Softwaretechnik aus Sicht der IT-Sicherheit.
Softwaretechnik- Trends 21(1): (2001) |
| 2000 |
|---|
| 6 | | Bruno Langenstein,
Roland Vogt,
Markus Ullmann:
The Use of Formal Methods for Trusted Digital Signature Devices.
FLAIRS Conference 2000: 336-340 |
| 5 | EE | Robin E. Bloomfield,
Dan Craigen,
Frank Koob,
Markus Ullmann,
Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects.
SAFECOMP 2000: 211-226 |
| 1999 |
|---|
| 4 | | Dieter Hutter,
Werner Stephan,
Paolo Traverso,
Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings
Springer 1999 |
| 1998 |
|---|
| 3 | | Frank Koob,
Markus Ullmann,
Stefan Wittmann:
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.
FM-Trends 1998: 302-310 |
| 1996 |
|---|
| 2 | | Frank A. Koch,
Markus Ullmann,
Stefan Wittmann:
Verification Support Environment.
CAV 1996: 454-457 |
| 1993 |
|---|
| 1 | | Markus Ullmann,
H. Hauff,
D. Loevenich,
P. Kejwal,
R. Förster,
P. Baur,
Wolfgang Reif,
Werner Stephan,
Andreas Wolpers,
Jürgen Cleve,
Dieter Hutter,
Claus Sengler,
E. Canver:
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
VIS 1993: 175-190 |
