Sciweavers

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

10

CSFW
2006
IEEE

favoriteEmaildiscussreport

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

13 years 8 months ago

Verified Interoperable Implementations of Security Protocols

Download research.microsoft.com

Karthikeyan Bhargavan, Cédric Fournet, Andr

Real-time Traffic

CSFW 2006 | Security Privacy |

claim paper

Related Content

» Proactive Role Discovery in MediatorFree Environments

» On the automated implementation of modal logics used to verify security protocols

» Verified implementations of the information card federated identitymanagement protocol

» ASPIER An Automated Framework for Verifying Security Protocol Implementations

» Secure Border Gateway Protocol SBGP Real World Performance and Deployment Issues

» Cryptographically verified implementations for TLS

» An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code ...

» Slede Framework for automatic verification of sensor network security protocol implementat...

» SLEDE lightweight verification of sensor network security protocol implementations

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	CSFW
Authors	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse

Comments (0)