Sciweavers

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

53

JCS
2007

favoriteEmaildiscussreport

69views more JCS 2007»

Timed analysis of security protocols

14 years 9 months ago

Timed analysis of security protocols

Download www.msr-inria.inria.fr

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, An

Real-time Traffic

JCS 2007 |

claim paper

Related Content

» A Probabilistic PolyTime Framework for Protocol Analysis

» Broadcast Authentication Protocol with Time Synchronization and Quadratic Residues Chain

» Secure time synchronization service for sensor networks

» Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timesta...

» Formally Analysing a Security Protocol for Replay Attacks

» Security Analysis of Two UltraLightweight RFID Authentication Protocols

» A Calculus for the Analysis of Wireless Network Security Protocols

» Polling with Physical Envelopes A Rigorous Analysis of a HumanCentric Protocol

» Modeling Computational Security in LongLived Systems

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	JCS
Authors	Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader

Comments (0)