Search Sciweavers | Sciweavers

2162 search results - page 114 / 433

» A Meta-Notation for Protocol Analysis

click to vote

NSF
2001
Springer

175views Computer Vision» more NSF 2001»

Ad Hoc Wireless Networks: Analysis, Protocols, Architecture, and Convergence

14 years 1 months ago

Download legend.me.uiuc.edu

P. R. Kumar

claim paper

Read More »

click to vote

CSFW
2000
IEEE

100views Security Privacy» more CSFW 2000»

Relating Strands and Multiset Rewriting for Security Protocol Analysis

14 years 1 months ago

Download www.csl.sri.com

Iliano Cervesato, Nancy A. Durgin, John C. Mitchel...

claim paper

Read More »

click to vote

ICPPW
2000
IEEE

100views Distributed And Parallel Com...» more ICPPW 2000»

Bandwidth Usage Analysis of Service Location Protocol

14 years 1 months ago

Download people.scs.carleton.ca

Michel Barbeau

claim paper

Read More »

click to vote

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

14 years 1 months ago

Download www.cs.colostate.edu

Indrakshi Ray, Indrajit Ray

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers