A static analysis of cryptographic processes: the denotational approach
Aziz, Benjamin, Hamilton, Geoff W. and Gray, David (2005) A static analysis of cryptographic processes: the denotational approach. J. Log. Algebraic Methods Program., 64 (2). pp. 285-320.
Full text not available from this repository.
Access this via: https://doi.org/10.1016/j.jlap.2004.09.006
| Item Type: | Article |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 09:14 |
| Last Modified: | 13 Dec 2023 09:14 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18918 |
Actions (login required)
 |
Edit Item |