A Denotational Approach to the Static Analysis of Cryptographic Processes
Aziz, Benjamin, Hamilton, Geoff W. and Gray, David (2003) A Denotational Approach to the Static Analysis of Cryptographic Processes. In: Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003.
Full text not available from this repository.
Access this via: https://doi.org/10.1016/j.entcs.2004.12.016
| Item Type: | Conference or Workshop Item |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 09:17 |
| Last Modified: | 13 Dec 2023 09:17 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18924 |
Actions (login required)
 |
Edit Item |