Search Sciweavers | Sciweavers

4111 search results - page 261 / 823

» Security, Protocols, and Trust

132

click to vote

JCS
2007

69views more JCS 2007»

Timed analysis of security protocols

15 years 7 months ago

Download www.msr-inria.inria.fr

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

claim paper

Read More »

138

click to vote

CI
2004

95views more CI 2004»

Automated Design of Security Protocols

15 years 7 months ago

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

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

claim paper

Read More »

151

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

15 years 7 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

167

click to vote

MONET
1998

77views more MONET 1998»

Security Protocol for IEEE 802.11 Wireless Local Area Network

15 years 7 months ago

Download pages.cs.wisc.edu

Se Hyun Park, Aura Ganz, Zvi Ganz

claim paper

Read More »

170

click to vote

TC
2002

66views Information Technology» more TC 2002»

A Secure Fault-Tolerant Conference-Key Agreement Protocol

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers