No Cover Image

Conference Paper/Proceeding/Abstract 694 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.

Check full text

DOI (Published version): 10.1109/qrs-c55045.2021.00124

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
first_indexed 2023-09-29T14:16:13Z
last_indexed 2024-11-25T14:13:13Z
id cronfa63976
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-09-29T15:16:11.2980157</datestamp><bib-version>v2</bib-version><id>63976</id><entry>2023-07-27</entry><title>Formalising UPTANE in CSP for Security Testing</title><swanseaauthors><author><sid>cb24d5c5080534dc5b5e3390f24dd422</sid><ORCID>0000-0003-0260-1697</ORCID><firstname>Hoang</firstname><surname>Nguyen</surname><name>Hoang Nguyen</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2023-07-27</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>IEEE</publisher><placeOfPublication/><isbnPrint>978-1-6654-7836-6</isbnPrint><isbnElectronic/><issnPrint/><issnElectronic>2693-9371</issnElectronic><keywords/><publishedDay>1</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-12-01</publishedDate><doi>10.1109/qrs-c55045.2021.00124</doi><url>http://dx.doi.org/10.1109/qrs-c55045.2021.00124</url><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-09-29T15:16:11.2980157</lastEdited><Created>2023-07-27T14:24:09.0814083</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Rhys</firstname><surname>Kirk</surname><order>1</order></author><author><firstname>Hoang</firstname><surname>Nguyen</surname><orcid>0000-0003-0260-1697</orcid><order>2</order></author><author><firstname>Jeremy</firstname><surname>Bryans</surname><order>3</order></author><author><firstname>Siraj</firstname><surname>Shaikh</surname><order>4</order></author><author><firstname>David</firstname><surname>Evans</surname><order>5</order></author><author><firstname>David</firstname><surname>Price</surname><order>6</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2023-09-29T15:16:11.2980157 v2 63976 2023-07-27 Formalising UPTANE in CSP for Security Testing cb24d5c5080534dc5b5e3390f24dd422 0000-0003-0260-1697 Hoang Nguyen Hoang Nguyen true false 2023-07-27 MACS Conference Paper/Proceeding/Abstract 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) IEEE 978-1-6654-7836-6 2693-9371 1 12 2021 2021-12-01 10.1109/qrs-c55045.2021.00124 http://dx.doi.org/10.1109/qrs-c55045.2021.00124 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2023-09-29T15:16:11.2980157 2023-07-27T14:24:09.0814083 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Rhys Kirk 1 Hoang Nguyen 0000-0003-0260-1697 2 Jeremy Bryans 3 Siraj Shaikh 4 David Evans 5 David Price 6
title Formalising UPTANE in CSP for Security Testing
spellingShingle Formalising UPTANE in CSP for Security Testing
Hoang Nguyen
title_short Formalising UPTANE in CSP for Security Testing
title_full Formalising UPTANE in CSP for Security Testing
title_fullStr Formalising UPTANE in CSP for Security Testing
title_full_unstemmed Formalising UPTANE in CSP for Security Testing
title_sort Formalising UPTANE in CSP for Security Testing
author_id_str_mv cb24d5c5080534dc5b5e3390f24dd422
author_id_fullname_str_mv cb24d5c5080534dc5b5e3390f24dd422_***_Hoang Nguyen
author Hoang Nguyen
author2 Rhys Kirk
Hoang Nguyen
Jeremy Bryans
Siraj Shaikh
David Evans
David Price
format Conference Paper/Proceeding/Abstract
container_title 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
publishDate 2021
institution Swansea University
isbn 978-1-6654-7836-6
issn 2693-9371
doi_str_mv 10.1109/qrs-c55045.2021.00124
publisher IEEE
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://dx.doi.org/10.1109/qrs-c55045.2021.00124
document_store_str 0
active_str 0
published_date 2021-12-01T17:21:26Z
_version_ 1850689754066059264
score 11.08899

Similar Items