A Formal Model and Analysis of the MQ Telemetry Transport Protocol
Aziz, Benjamin (2014) A Formal Model and Analysis of the MQ Telemetry Transport Protocol. In: Ninth International Conference on Availability, Reliability and Security, ARES 2014, Fribourg, Switzerland, September 8-12, 2014.
Full text not available from this repository.
Access this via: https://doi.org/10.1109/ARES.2014.15
| Item Type: | Conference or Workshop Item |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 08:49 |
| Last Modified: | 13 Dec 2023 08:49 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18883 |
Actions (login required)
 |
Edit Item |