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
@article{unspecified,
  AUTHOR = {Hassen Saidi},
  TITLE = {Towards automatic synthesis of security protocols},
  YEAR = {2002},
  MONTH = {March},
  ADDRESS = {Stanford University, California},
  URL = {http://www.csl.sri.com/papers/aaai\_saidi02/},
  BOOKTITLE = {In Logic-Based Program Synthesis Workshop, {AAAI} 2002 Spring Symposium}
}
Files
 













 

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