Search Sciweavers | Sciweavers

3504 search results - page 160 / 701

» Secure protocol composition

Voted

CORR
2009
Springer

71views Education» more CORR 2009»

Heuristic Methods for Security Protocols

15 years 2 months ago

Download www.cs.le.ac.uk

Qurat ul Ain Nizamani, Emilio Tuosto

claim paper

Read More »

123

Voted

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

15 years 2 days ago

Download www.cs.cmu.edu

Bernardo Toninho, Luís Caires

claim paper

Read More »

170

Voted

TDSC
2011

226views Theoretical Computer Science» more TDSC 2011»

Securing Topology Maintenance Protocols for Sensor Networks

15 years 1 days ago

Download cs.gmu.edu

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

claim paper

Read More »

163

Voted

ECCC
2011

223views ECommerce» more ECCC 2011»

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

15 years 1 hour ago

Download eprint.iacr.org

Gilad Asharov, Yehuda Lindell

claim paper

Read More »

Voted

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers