Search Sciweavers | Sciweavers

3088 search results - page 36 / 618

» Multichannel Security Protocols

click to vote

CRITIS
2006

98views Security Privacy» more CRITIS 2006»

Multidomain Virtual Security Negotiation over the Session Initiation Protocol (SIP)

14 years 11 days ago

Download critis06.lcc.uma.es

Daniel J. Martínez-Manzano, Gabriel L&oacut...

claim paper

Read More »

click to vote

ICC
2008
IEEE

86views Communications» more ICC 2008»

Throughput Analysis of Frequency-Agile Medium Access Control Protocols

14 years 3 months ago

Download www.mobnets.rwth-aachen.de

Abstract—In this paper, we analyze three opportunistic multichannel MAC protocols that associate a newcoming terminal station to one of the access points available within its tra...

Alexandre de Baynast, Lili Wu, Petri Mähö...

claim paper

Read More »

click to vote

TARK
2007
Springer

89views Automated Reasoning» more TARK 2007»

Preservation of epistemic properties in security protocol implementations

14 years 2 months ago

Download www.cse.unsw.edu.au

We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

click to vote

ISPEC
2009
Springer

120views Security Privacy» more ISPEC 2009»

Analysing Protocol Implementations

14 years 3 months ago