SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

CAPSL and CIL Language Design
 by Dr. Grit Denker & Jon Millen.

Abstract
It is well known that protocols for exchanging cryptographic keys over data networks can be vulnerable to message modification attacks. This fact led to the development of tools for cryptographic protocol analysis. Some of the earlier papers on the subject are [MCF87, Mea91] on goal-directed state search tools implemented in Prolog, [Kem89] on the application of general purpose specification and verification tools, [BAN90] on a specially designed logic of belief, and [Ros95, Low96] on the application of a model-checking tool for CSP specifications.
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2019 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy