Sciweavers

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

61

ENTCS
2007

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

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