๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal verification of the Merchant Registration phase of the SET protocol

โœ Scribed by Xiao-Qi Ma; Xiao-Chun Cheng

Book ID
107435570
Publisher
Institute of Automation, Chinese Academy of Sciences
Year
2005
Tongue
English
Weight
174 KB
Volume
2
Category
Article
ISSN
1476-8186

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The Practice of Cryptographic Protocol V
The Practice of Cryptographic Protocol Verification
โœ Michael Rusinowitch ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 119 KB

We present CASRUL, a compiler for cryptographic protocols specifications. Its purpose is to verify the executability of protocols and to translate them into rewrite rules that can be used by several kinds of automatic or semi-automatic tools for finding design flaws. We also present a related comple

Supporting the formal verification of ma
Supporting the formal verification of mathematical texts
โœ Claus Zinn ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 264 KB

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician-machine interaction. Our empirical approach, the analysis of carefully