Search Sciweavers | Sciweavers

2162 search results - page 26 / 433

» A Meta-Notation for Protocol Analysis

112

Voted

COMCOM
1999

63views more COMCOM 1999»

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

15 years 4 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

click to vote

WINET
1998

50views more WINET 1998»

Markov analysis of the PRMA protocol for local wireless networks

15 years 4 months ago

Download www.ce.uniroma2.it

Francesco Lo Presti, Vincenzo Grassi

claim paper

Read More »

117

click to vote

ADT
2010

135views Programming Languages» more ADT 2010»

Fair data collection in wireless sensor networks: analysis and protocol

15 years 4 months ago

Download networking.khu.ac.kr

Md. Abdul Hamid, Muhammad Mahbub Alam, Md. Sharifu...

claim paper

Read More »

113

click to vote

IJACT
2008

99views more IJACT 2008»

The layered games framework for specifications and analysis of security protocols

15 years 3 months ago

Download eprint.iacr.org

Amir Herzberg, Igal Yoffe

claim paper

Read More »

108

click to vote

JCS
2010

58views more JCS 2010»

Computationally sound analysis of protocols using bilinear pairings

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers