Search Sciweavers | Sciweavers

401 search results - page 8 / 81

» Formal Analysis of Meeting Protocols

COMCOM
1999

63views more COMCOM 1999»

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

14 years 11 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

Voted

INFOCOM
2006
IEEE

100views Communications» more INFOCOM 2006»

Network Protocol System Fingerprinting - A Formal Approach

15 years 5 months ago

Download www.cse.ohio-state.edu

— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...

Guoqiang Shu, David Lee

claim paper

Read More »

click to vote

ENTCS
2006

173views more ENTCS 2006»

Formal Security Analysis for Ad-Hoc Networks

14 years 11 months ago

Download se.ethz.ch

In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...

Sebastian Nanz, Chris Hankin

claim paper

Read More »

click to vote

TELSYS
2002

126views more TELSYS 2002»

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs

14 years 11 months ago

Download www.item.ntnu.no

Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...

Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...

claim paper

Read More »

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers