Sciweavers

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

75

FSTTCS
2008
Springer

124views Software Engineering» more FSTTCS 2008»

About models of security protocols

15 years 3 months ago

About models of security protocols

Download www.lsv.ens-cachan.fr

Hubert Comon-Lundh

Real-time Traffic

FSTTCS 2008 | Software Engineering |

claim paper

Related Content

» Pitfalls in Formal Reasoning about Security Protocols

» Reasoning about Probabilistic Security Using TaskPIOAs

» IO Automaton Models and Proofs for SharedKey Communication Systems

» Specifying and Modelling Secure Channels in Strand Spaces

» Modelling the relative strength of security protocols

» Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

» Formally Analysing a Security Protocol for Replay Attacks

» A Formal Approach for Automated Reasoning about OffLine and Undetectable OnLine Guessing

» Modeling and Verifying Ad Hoc Routing Protocols

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2008
Where	FSTTCS
Authors	Hubert Comon-Lundh

Comments (0)