Sciweavers

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

3

ENTCS
2007

favoriteEmaildiscussreport

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

13 years 4 months ago

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

Download users.dsic.upv.es

Santiago Escobar, Catherine Meadows, José M

Real-time Traffic

ENTCS 2007 |

claim paper

Related Content

» State Space Reduction in the MaudeNRL Protocol Analyzer

» Algebraic Intruder Deductions

» A rewritingbased inference system for the NRL protocol analyzer grammar generation

» Computational Soundness of Equational Theories Tutorial

» Symbolic protocol analysis for monoidal equational theories

» Deciding Knowledge in Security Protocols for Monoidal Equational Theories

» Intruder Deduction for ACLike Equational Theories with Homomorphisms

» Reasoning about Probabilistic Security Using TaskPIOAs

» Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Santiago Escobar, Catherine Meadows, José Meseguer

Comments (0)