Sciweavers

1490 search results - page 110 / 298

» The Logic of Authentication Protocols

33

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

14 years 2 months ago

A Derivation System for Security Protocols and its Logical Formalization

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

23

NGC
1999
Springer

71views Communications» more NGC 1999»

HyperCast: A Protocol for Maintaining Multicast Group Members in a Logical Hypercube Topology

14 years 1 months ago

HyperCast: A Protocol for Maintaining Multicast Group Members in a Logical Hypercube Topology

Download www.cs.virginia.edu

Jörg Liebeherr, Tyler K. Beam

claim paper

Read More »

24

JAPLL
2007

52views more JAPLL 2007»

Specifying and verifying interaction protocols in a temporal action logic

13 years 8 months ago

Specifying and verifying interaction protocols in a temporal action logic

Download www.di.unito.it

Laura Giordano, Alberto Martelli, Camilla Schwind

claim paper

Read More »

25

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

13 years 3 months ago

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Download www.cs.cmu.edu

Bernardo Toninho, Luís Caires

claim paper

Read More »

36

PEWASUN
2004
ACM

147views Computer Networks» more PEWASUN 2004»

A framework of secure location service for position-based ad hoc routing

14 years 2 months ago

A framework of secure location service for position-based ad hoc routing

Download www.ece.ubc.ca

In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...

Joo-Han Song, Vincent W. S. Wong, Victor C. M. Leu...

claim paper

Read More »

« Prev « First page 110 / 298 Last » Next »