Sciweavers

54 search results - page 3 / 11

» sam 2004

16

SAM
2004

113views Hardware» more SAM 2004»

A Flexible Micro Protocol Framework

13 years 7 months ago

A Flexible Micro Protocol Framework

Download www.site.uottawa.ca

Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhei...

claim paper

Read More »

9

SAM
2004

103views Hardware» more SAM 2004»

Early Validation of Deployment and Scheduling Constraints for MSC Specifications

13 years 7 months ago

Early Validation of Deployment and Scheduling Constraints for MSC Specifications

Download www.site.uottawa.ca

Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao...

claim paper

Read More »

15

SAM
2000

80views Hardware» more SAM 2000»

SDL for Real-Time: What is Missing?

13 years 7 months ago

SDL for Real-Time: What is Missing?

Download hal.archives-ouvertes.fr

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent...

claim paper

Read More »

13

SWS
2004
ACM

106views Internet Technology» more SWS 2004»

Secure password-based authenticated key exchange for web services

13 years 11 months ago

Secure password-based authenticated key exchange for web services

Download www.extreme.indiana.edu

Liang Fang, Sam Meder, Olivier Chevassut, Frank Si...

claim paper

Read More »

17

IASTEDSEA
2004

122views Software Engineering» more IASTEDSEA 2004»

Modeling and analyzing security protocols in SAM: A case study

13 years 7 months ago

Modeling and analyzing security protocols in SAM: A case study

Download users.cis.fiu.edu

: 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

claim paper

Read More »

« Prev « First page 3 / 11 Last » Next »