• No results found

Ensuring Confidentiality in Cryptographic Protocols with the Witness-Functions

N/A
N/A
Info
Download
Protected

Academic year: 2020

Share "Ensuring Confidentiality in Cryptographic Protocols with the Witness-Functions"

Copied!
15
0
0

Loading.... (view fulltext now)

Download now ( 15 Page )

Full text

Figure

Table 1. The Woo-Lam Protocol
Table 2. Compliance of the Woo-Lam Protocol with the Theorem 4.6
Table 4. The Woo and Lam Protocol (Amended Version)

References

Download now ( PDF - 15 Page - 3.25 MB )

Related documents