Sciweavers

54 search results - page 3 / 11
» sam 2004
Sort
View
80
Voted
SAM
2004
113views Hardware» more  SAM 2004»
15 years 4 months ago
A Flexible Micro Protocol Framework
Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhei...
79
Voted
SAM
2004
103views Hardware» more  SAM 2004»
15 years 4 months ago
Early Validation of Deployment and Scheduling Constraints for MSC Specifications
Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao...
197
Voted
SAM
2000
80views Hardware» more  SAM 2000»
15 years 4 months ago
SDL for Real-Time: What is Missing?
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...
118
Voted
SWS
2004
ACM
15 years 8 months ago
Secure password-based authenticated key exchange for web services
Liang Fang, Sam Meder, Olivier Chevassut, Frank Si...
135
Voted
IASTEDSEA
2004
15 years 4 months ago
Modeling and analyzing security protocols in SAM: A case study
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao