Search Sciweavers | Sciweavers

5324 search results - page 210 / 1065

» Internet Security Protocols

144

click to vote

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

15 years 1 months ago

Download www.cs.cmu.edu

Bernardo Toninho, Luís Caires

claim paper

Read More »

196

click to vote

TDSC
2011

226views Theoretical Computer Science» more TDSC 2011»

Securing Topology Maintenance Protocols for Sensor Networks

15 years 1 months ago

Download cs.gmu.edu

Andrea Gabrielli, Luigi V. Mancini, Sanjeev Setia,...

claim paper

Read More »

181

click to vote

ECCC
2011

223views ECommerce» more ECCC 2011»

A Full Proof of the BGW Protocol for Perfectly-Secure Multiparty Computation

15 years 1 months ago

Download eprint.iacr.org

Gilad Asharov, Yehuda Lindell

claim paper

Read More »

click to vote

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

15 years 1 months ago

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

163

click to vote

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers