Sciweavers

54 search results - page 3 / 11
» sam 2004
Sort
View
SAM
2004
113views Hardware» more  SAM 2004»
13 years 10 months ago
A Flexible Micro Protocol Framework
Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhei...
SAM
2004
103views Hardware» more  SAM 2004»
13 years 10 months ago
Early Validation of Deployment and Scheduling Constraints for MSC Specifications
Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao...
SAM
2000
80views Hardware» more  SAM 2000»
13 years 10 months ago
SDL for Real-Time: What is Missing?
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...
SWS
2004
ACM
14 years 1 months ago
Secure password-based authenticated key exchange for web services
Liang Fang, Sam Meder, Olivier Chevassut, Frank Si...
IASTEDSEA
2004
13 years 10 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