Sciweavers

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

11

ICDCS
2005
IEEE

favoriteEmaildiscussreport

90views Distributed And Parallel Com...» more ICDCS 2005»

Equational Approach to Formal Analysis of TLS

13 years 10 months ago

Equational Approach to Formal Analysis of TLS

Download www.jaist.ac.jp

TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it is veriﬁed that the models have properties by means of equational reasoning. TLS is the latest version, or the successor of SSL, which is probably the most widely deployed security protocol. Among the results of the analysis are that pre-master secrets cannot be leaked, when a client has negotiated a cipher suite and security parameters with a server, the server has really agreed on them, and client cannot be identiﬁed if they do not send their certiﬁcates to servers.

Kazuhiro Ogata, Kokichi Futatsugi

Real-time Traffic

Distributed And Parallel Computing | Distributed Systems | Equational Reasoning | ICDCS 2005 | OTS/CafeOBJ Method |

claim paper

Related Content

» Regional development assessment A structural equation approach

» Deciding Knowledge in Security Protocols Under Equational Theories

» Pointsto Analysis as a System of Linear Equations

» A Scalable Nonuniform Pointer Analysis for Embedded Programs

» Combining Algorithms for Deciding Knowledge in Security Protocols

» Formal Analysis of Abnormal Excitation in Cardiac Tissue

» Inferring Cost Equations for Recursive Polymorphic and HigherOrder Functional Programs

» Planning Equational Verification in CCS

» Deciding Knowledge in Security Protocols for Monoidal Equational Theories

Post Info
More Details (n/a)

Added	24 Jun 2010
Updated	24 Jun 2010
Type	Conference
Year	2005
Where	ICDCS
Authors	Kazuhiro Ogata, Kokichi Futatsugi

Comments (0)