Search Sciweavers | Sciweavers

3115 search results - page 122 / 623

» Synthesizing Secure Protocols

click to vote

JISE
2006

37views more JISE 2006»

Secure Authentication Protocols Resistant to Guessing Attacks

14 years 10 months ago

Download www.iis.sinica.edu.tw

Jia-Ning Luo, Shiuh-Pyng Shieh, Ji-Chiang Shen

claim paper

Read More »

click to vote

TISSEC
2008

80views more TISSEC 2008»

ODSBR: An on-demand secure Byzantine resilient routing protocol for wireless ad hoc networks

14 years 9 months ago

Download homes.cerias.purdue.edu

Baruch Awerbuch, Reza Curtmola, David Holmer, Cris...

claim paper

Read More »

click to vote

JCS
2007

69views more JCS 2007»

Timed analysis of security protocols

14 years 9 months ago

Download www.msr-inria.inria.fr

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, An...

claim paper

Read More »

click to vote

CI
2004

95views more CI 2004»

Automated Design of Security Protocols

14 years 9 months ago

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

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

claim paper

Read More »

click to vote

COMCOM
1999

63views more COMCOM 1999»

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

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers