Search Sciweavers | Sciweavers

2162 search results - page 25 / 433

» A Meta-Notation for Protocol Analysis

117

click to vote

JCM
2007

89views more JCM 2007»

Analysis of Bluetooth Protocol in Presence of Bursty Traffic

15 years 4 months ago

Download www.academypublisher.com

Pero Latkoski, Liljana Gavrilovska

claim paper

Read More »

click to vote

JCS
2007

69views more JCS 2007»

Timed analysis of security protocols

15 years 4 months ago

Download www.msr-inria.inria.fr

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

claim paper

Read More »

117

click to vote

LISP
2007

54views more LISP 2007»

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

15 years 4 months ago

Download osl.cs.uiuc.edu

José Meseguer, Prasanna Thati

claim paper

Read More »

click to vote

QUESTA
2000

47views more QUESTA 2000»

Performance analysis of a slotted-ALOHA protocol on a capture channel with fading

15 years 4 months ago

Download ece.iisc.ernet.in

Jeetendra Sant, Vinod Sharma

claim paper

Read More »

111

Voted

COMCOM
1998

87views more COMCOM 1998»

Design and analysis of an efficient and reliable atomic multicast protocol

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers