Meta data
- BibTeX key
- conf/qrs/KirkNBSEP21
- entry type
- inproceedings
- booktitle
- QRS Companion
- year
- 2021
- pages
- 816-824
- publisher
- IEEE
- crossref
- conf/qrs/2021c
- ee
- https://doi.org/10.1109/QRS-C55045.2021.00124
- isbn
- 978-1-6654-7836-6
- url
- http://dblp.uni-trier.de/db/conf/qrs/qrs2021c.html#KirkNBSEP21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/qrs/KirkNBSEP21
%A Kirk, Rhys
%A Nguyen, Hoang Nga
%A Bryans, Jeremy W.
%A Shaikh, Siraj A.
%A Evans, David
%A Price, David
%B QRS Companion
%D 2021
%I IEEE
%K dblp
%P 816-824
%T Formalising UPTANE in CSP for Security Testing.
%U http://dblp.uni-trier.de/db/conf/qrs/qrs2021c.html#KirkNBSEP21
%@ 978-1-6654-7836-6
@inproceedings{conf/qrs/KirkNBSEP21,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Kirk, Rhys and Nguyen, Hoang Nga and Bryans, Jeremy W. and Shaikh, Siraj A. and Evans, David and Price, David},
biburl = {https://www.bibsonomy.org/bibtex/2582a2d970e9e65242fa2b6b722ed2e9a/dblp},
booktitle = {QRS Companion},
crossref = {conf/qrs/2021c},
ee = {https://doi.org/10.1109/QRS-C55045.2021.00124},
interhash = {ef9ad45d1f18cac22aab05a224709b01},
intrahash = {582a2d970e9e65242fa2b6b722ed2e9a},
isbn = {978-1-6654-7836-6},
keywords = {dblp},
pages = {816-824},
publisher = {IEEE},
timestamp = {2024-04-09T13:27:43.000+0200},
title = {Formalising UPTANE in CSP for Security Testing.},
url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2021c.html#KirkNBSEP21},
year = 2021
}