Modelling and Analysis of PKI-Based Systems Using Process Calculi

Aziz, Benjamin and Hamilton, Geoff W. (2007) Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci., 18 (3). pp. 593-618.

Full text not available from this repository.

Access this via: https://doi.org/10.1142/S0129054107004851

Item Type:	Article
Depositing User:	RED Unit Admin
Date Deposited:	13 Dec 2023 09:13
Last Modified:	13 Dec 2023 09:13
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18914

Actions (login required)

Edit Item