M. Backes 157 Contract signing, optimism, and advantage R. Chadha, JC Mitchell, A. Scedrov and V. Shmatikov 189 Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically
Goubault-Larrecq, J, Roger, M, Verma, KN, Evans, N, Schneider, S, Aziz, Benjamin, Hamilton, G and Gray, D M. Backes 157 Contract signing, optimism, and advantage R. Chadha, JC Mitchell, A. Scedrov and V. Shmatikov 189 Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically.
Full text not available from this repository.Item Type: | Article |
---|---|
Depositing User: | RED Unit Admin |
Date Deposited: | 18 Dec 2023 11:52 |
Last Modified: | 18 Dec 2023 13:31 |
URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18977 |
Actions (login required)
![]() |
Edit Item |