Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

CSFW
2007
IEEE

favoriteEmaildiscussreport

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

13 years 11 months ago

Causality-based Abstraction of Multiplicity in Security Protocols

Download www.infsec.cs.uni-saarland.de

Michael Backes, Agostino Cortesi, Matteo Maffei

Real-time Traffic

CSFW 2007 | Security Privacy |

claim paper

Related Content

» The CASPA Tool CausalityBased Abstraction for Security Protocol Analysis

» PrivacyPreserving Singular Value Decomposition

» Unifying ZeroKnowledge Proofs of Knowledge

» Analysis of the HIP Base Exchange Protocol

» Twin Clouds Secure Cloud Computing with Low Latency Full Version

» PrivacyPreserving Protocols for Eigenvector Computation

» Asynchronous Multiparty Computation Theory and Implementation

» Analysis of Web Services Secure Conversation with Formal Methods

» Batch Pairing Delegation

Post Info
More Details (n/a)

Added	02 Jun 2010
Updated	02 Jun 2010
Type	Conference
Year	2007
Where	CSFW
Authors	Michael Backes, Agostino Cortesi, Matteo Maffei

Comments (0)