Spiky: A nominal calculus for modelling protocols that use pkis

Gray, David, Aziz, Benjamin and Hamilton, Geoff (2004) Spiky: A nominal calculus for modelling protocols that use pkis. In: Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools, Orléans, France.

Full text not available from this repository.

Item Type:	Conference or Workshop Item
Depositing User:	RED Unit Admin
Date Deposited:	18 Dec 2023 13:19
Last Modified:	18 Dec 2023 13:19
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/19007

Actions (login required)

Edit Item