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

Towards automatic synthesis of security protocols
 by Dr. Hassen Sa´di.

From In Logic-Based Program Synthesis Workshop, AAAI 2002 Spring Symposium.
Stanford University, California.
March, 2002.

BibTEX Entry
  AUTHOR = {Hassen Saidi},
  TITLE = {Towards automatic synthesis of security protocols},
  YEAR = {2002},
  MONTH = {March},
  ADDRESS = {Stanford University, California},
  URL = {\_saidi02/},
  BOOKTITLE = {In Logic-Based Program Synthesis Workshop, {AAAI} 2002 Spring Symposium}


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