Sciweavers

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

8

CCS
2004
ACM

favoriteEmaildiscussreport

116views Security Privacy» more CCS 2004»

A decision procedure for the verification of security protocols with explicit destructors

13 years 10 months ago

A decision procedure for the verification of security protocols with explicit destructors

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Florent Jacquemard

Real-time Traffic

CCS 2004 | Security Privacy |

claim paper

Related Content

» Explicit Randomness is not Necessary when Modeling Probabilistic Encryption

» Towards Automatic Verification of Authentication Protocols on an Unbounded Network

» YAPA A Generic Tool for Computing Intruder Knowledge

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	CCS
Authors	Stéphanie Delaune, Florent Jacquemard

Comments (0)