Search Sciweavers | Sciweavers

3751 search results - page 36 / 751

» Events in security protocols

click to vote

PKC
2010
Springer

119views Cryptology» more PKC 2010»

Efficient Set Operations in the Presence of Malicious Adversaries

13 years 9 months ago

Download eprint.iacr.org

We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...

Carmit Hazay, Kobbi Nissim

claim paper

Read More »

click to vote

CCS
2003
ACM

79views Security Privacy» more CCS 2003»

Fast automatic synthesis of security protocols using backward search

14 years 28 days ago

Download www.cs.ucc.ie

Ò ÙØÓÑ Ø × ÙÖ ØÝ ÔÖÓØÓ ÓÐ Ò Ö ØÓÖ × ÔÖÓÔÓ× Ø Ø Ù× × ÐÓ ¹ × ×ÝÒØ × × ÖÙÐ × ØÓ Ù Ø Ò Û Ö × Ö ÓÖ ×Ù Ø Ð ÔÖÓØÓ Ó�...

Hongbin Zhou, Simon N. Foley

claim paper

Read More »

click to vote

SPW
2001
Springer

109views Security Privacy» more SPW 2001»

Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols

14 years 4 days ago

Download www1.cs.columbia.edu

William Aiello, Steven M. Bellovin, Matt Blaze, Ra...

claim paper

Read More »

click to vote

CSFW
2000
IEEE

100views Security Privacy» more CSFW 2000»

Relating Strands and Multiset Rewriting for Security Protocol Analysis

14 years 3 days ago

Download www.csl.sri.com

Iliano Cervesato, Nancy A. Durgin, John C. Mitchel...

claim paper

Read More »

click to vote

CRITIS
2006

98views Security Privacy» more CRITIS 2006»

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers