No Cover Image

Conference Paper/Proceeding/Abstract 149 views

Formalising UPTANE in CSP for Security Testing

Rhys Kirk, Hoang Nguyen Orcid Logo, Jeremy Bryans, Siraj Shaikh, David Evans, David Price

2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)

Swansea University Author: Hoang Nguyen Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
ISBN: 978-1-6654-7836-6
ISSN: 2693-9371
Published: IEEE 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa63976
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering