Sciweavers

1302 search results - page 32 / 261
» Soundness in the Public-Key Model
Sort
View
CSFW
2008
IEEE
15 years 8 months ago
Cryptographically-Sound Protocol-Model Abstractions
Christoph Sprenger, David A. Basin
BPM
2006
Springer
107views Business» more  BPM 2006»
15 years 5 months ago
Workflow Model Compositions Preserving Relaxed Soundness
Juliane Siegeris, Armin Zimmermann
SIGMAP
2008
127views Business» more  SIGMAP 2008»
15 years 3 months ago
Time Domain Attack and Release Modeling - Applied to Spectral Domain Sound Synthesis
Cornelia Kreutzer, Jacqueline Walker, Michael O'Ne...