Proof of soundness (integrity) of crypto
โ
G. J. Simmons
๐
Article
๐
1994
๐
Springer
๐
English
โ 592 KB
In 1990 a workshop on the Mathematical Concepts (or Principles) of Dependable Systems was held at the Mathematisches Forschungsinstitut Oberwolfach in Germany. The purpose of the workshop was to examine mathematical techniques developed to make it possible to prove the proper functioning of complex