Search Sciweavers | Sciweavers

2162 search results - page 21 / 433

» A Meta-Notation for Protocol Analysis

118

click to vote

CSFW
1997
IEEE

114views Security Privacy» more CSFW 1997»

Casper: A Compiler for the Analysis of Security Protocols

15 years 9 months ago

Download web.comlab.ox.ac.uk

Gavin Lowe

claim paper

Read More »

103

click to vote

IFIP
1998
Springer

81views Programming Languages» more IFIP 1998»

An analysis of retransmission strategies for reliable multicast protocols

15 years 9 months ago

Download userver.ftw.at

M. Shuba, Peter Reichl

claim paper

Read More »

click to vote

INFOCOM
1996
IEEE

63views Communications» more INFOCOM 1996»

Design and Analysis of a WDMA Protocol for Passive Star-Coupled Lightwave Networks

15 years 8 months ago

Download lion.cs.uiuc.edu

Chao-Ju Hou, Bin Wang 0002, Ching-Chih Han

claim paper

Read More »

click to vote

ITS
2000
Springer

84views Multimedia» more ITS 2000»

An Analysis of Multiple Tutoring Protocols

15 years 8 months ago

Download www.cs.iit.edu

Byung-In Cho, Joel A. Michael, Allen A. Rovick, Ma...

claim paper

Read More »

120

click to vote

CAV
1995
Springer

99views Hardware» more CAV 1995»

Automated Analysis of an Audio Control Protocol

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers