Search Sciweavers | Sciweavers

3504 search results - page 150 / 701

» Secure protocol composition

129

click to vote

DEPCOS
2008
IEEE

112views Hardware» more DEPCOS 2008»

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

16 years 25 days ago

Download alfredo.pironti.eu

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

131

click to vote

INFOCOM
2008
IEEE

128views Communications» more INFOCOM 2008»

ECPP: Efficient Conditional Privacy Preservation Protocol for Secure Vehicular Communications

16 years 23 days ago

Download www.cse.psu.edu

Rongxing Lu, Xiaodong Lin, Haojin Zhu, Pin-Han Ho,...

claim paper

Read More »

191

click to vote

SYNASC
2008
IEEE

238views Algorithms» more SYNASC 2008»

A Modeling Framework for Generating Security Protocol Specifications

16 years 22 days ago

Download www.ibs.ro

Béla Genge, Piroska Haller

claim paper

Read More »

123

click to vote

GLOBECOM
2007
IEEE

95views Communications» more GLOBECOM 2007»

An Efficient Secure Route Discovery Protocol for DSR

16 years 21 days ago

Download www.cse.msstate.edu

Kulasekaran A. Sivakumar, Mahalingam Ramkumar

claim paper

Read More »

129

click to vote

ICCS
2007
Springer

127views Applied Computing» more ICCS 2007»

Energy Efficient Forwarding Scheme for Secure Wireless Ad Hoc Routing Protocols

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers