Sciweavers

12478 search results - page 106 / 2496

» Secure Interaction Design

93

CI
2004

95views more CI 2004»

Automated Design of Security Protocols

15 years 3 months ago

Automated Design of Security Protocols

Download www-users.cs.york.ac.uk

Hao Chen, John A. Clark, Jeremy L. Jacob

claim paper

Read More »

104

Voted

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

15 years 3 months ago

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

92

MONET
2010

85views more MONET 2010»

A Secure Mechanism Design-Based and Game Theoretical Model for MANETs

15 years 1 months ago

A Secure Mechanism Design-Based and Game Theoretical Model for MANETs

Download users.encs.concordia.ca

Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...

claim paper

Read More »

167

Voted

TIFS
2011

252views Education» more TIFS 2011»

Secure Device Pairing Based on a Visual Channel: Design and Usability Study

14 years 10 months ago

Secure Device Pairing Based on a Visual Channel: Design and Usability Study

Download spies.poly.edu

— “Pairing” is the establishment of authenticated key agreement between two devices over a wireless channel. Such devices are ad hoc in nature as they lack any common preshar...

Nitesh Saxena, Jan-Erik Ekberg, Kari Kostiainen, N...

claim paper

Read More »

74

Voted

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 10 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

« Prev « First page 106 / 2496 Last » Next »