Search Sciweavers | Sciweavers

3504 search results - page 160 / 701

» Secure protocol composition

click to vote

CORR
2009
Springer

71views Education» more CORR 2009»

Heuristic Methods for Security Protocols

15 years 4 months ago

Download www.cs.le.ac.uk

Qurat ul Ain Nizamani, Emilio Tuosto

claim paper

Read More »

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 »

194

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 »

178

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers