Sciweavers

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

11

CJ
2002

favoriteEmaildiscussreport

70views more CJ 2002»

Formal Methods for Assuring Security of Protocols

13 years 4 months ago

Formal Methods for Assuring Security of Protocols

Download www.ecs.syr.edu

l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of rigorous analytical techniques. In this article, we focus on a single cryptographic protocol (Needham

Susan Older, Shiu-Kai Chin

Real-time Traffic

CJ 2002 | Possible Actions | Rigorous Analytical Techniques | Single Cryptographic Protocol |

claim paper

Related Content

» Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Proto...

» Formal Methods for Industrial Products

» A Framework for High Assurance Security of Distributed Objects

» The Use of Formal Methods for Trusted Digital Signature Devices

» Formal Verification of the IEEE 80211i WLAN Security Protocol

» Lessons learned using alloy to formally specify MLSPCA trusted security architecture

» Security protocols over open networks and distributed systems formal methods for their ana...

» Compositionality of Security Protocols A Research Agenda

» Formal analysis of secure contracting protocol for etendering

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2002
Where	CJ
Authors	Susan Older, Shiu-Kai Chin

Comments (0)