Proof of soundness (integrity) of cryptographic protocols

摘要: In 1990 a workshop on the Mathematical Concepts (or Principles) of Dependable Systems was held at Mathematisches Forschungsinstitut Oberwolfach in Germany. The purpose to examine mathematical techniques developed make it possible prove proper functioning complex systems--where system could be either hardware, software, information protocols, etc., or combinations these components. Principal researchers each areas were invited take part workshop, and did--but as is so often case scientific meetings, one area emerged clear center gravity for workshop. This topic applying formal methods proof soundness correctness cryptographic protocols. organizers felt that results reported this important cryptology community they deserved publication whole, opposed separate isolated papers: hence special section. paper, which essentially an introduction paper follows, describes background challenge problem(s) provided unifying theme three systems analysis treated it.