Sciweavers

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

10

CCS
2007
ACM

favoriteEmaildiscussreport

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

13 years 11 months ago

Selecting theories and nonce generation for recursive protocols

Download www.informatik.uni-kiel.de

Klaas Ole Kürtz, Ralf Küsters, Thomas Wi

Real-time Traffic

CCS 2007 | Security Privacy |

claim paper

Related Content

» Selecting Theories and Recursive Protocols

» Security Protocol Design via Authentication Tests

» Automating rendezvous and proxy selection in sensornets

» Computer Systems Analysis

» Backwardchaining evolutionary algorithms

» An SMT Approach to Bounded Reachability Analysis of Model Programs

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CCS
Authors	Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke

Comments (0)