Sciweavers

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

100

TARK
2005
Springer

98views Automated Reasoning» more TARK 2005»

Deciding knowledge properties of security protocols

15 years 8 months ago

Deciding knowledge properties of security protocols

Download www.tark.org

Ramaswamy Ramanujam, S. P. Suresh

Real-time Traffic

TARK 2005 |

claim paper

Related Content

» Deciding Knowledge in Security Protocols for Monoidal Equational Theories

» Combining Algorithms for Deciding Knowledge in Security Protocols

» Decidability of Propositionally Quantified Logics of Knowledge

» Deciding security properties for cryptographic protocols Application to key cycles

» Deciding Knowledge in Security Protocols Under Equational Theories

» Deciding Knowledge in Security Protocols under Many More Equational Theories

» Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists

» Protocol Security and Algebraic Properties Decision Results for a Bounded Number of Sessio...

» Deciding security of protocols against offline guessing attacks

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	TARK
Authors	Ramaswamy Ramanujam, S. P. Suresh

Comments (0)