Sciweavers

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

92

Voted

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

15 years 9 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)