Inproceedings,
Definition and Verification of Security Configurations of Cyber-Physical Systems.
Á. Varela-Vaca, D. Rosado, L. Sánchez, M. Gómez-López, R. Gasca, and E. Fernández-Medina.CyberICPS/SECPRE/ADIoT@ESORICS, volume 12501 of Lecture Notes in Computer Science, page 135-155. Springer, (2020)
Meta data
- BibTeX key
- conf/esorics/Varela-VacaRSLG20
- entry type
- inproceedings
- booktitle
- CyberICPS/SECPRE/ADIoT@ESORICS
- year
- 2020
- pages
- 135-155
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 12501
- crossref
- conf/esorics/2020cicps
- ee
- https://doi.org/10.1007/978-3-030-64330-0_9
- isbn
- 978-3-030-64330-0
- url
- http://dblp.uni-trier.de/db/conf/esorics/cicps2020.html#Varela-VacaRSLG20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/esorics/Varela-VacaRSLG20
%A Varela-Vaca, Ángel Jesús
%A Rosado, David Garcia
%A Sánchez, Luis Enrique
%A Gómez-López, María Teresa
%A Gasca, Rafael M.
%A Fernández-Medina, Eduardo
%B CyberICPS/SECPRE/ADIoT@ESORICS
%D 2020
%E Katsikas, Sokratis K.
%E Cuppens, Frédéric
%E Cuppens, Nora
%E Lambrinoudakis, Costas
%E Kalloniatis, Christos
%E Mylopoulos, John
%E Antón, Annie I.
%E Gritzalis, Stefanos
%E Meng, Weizhi
%E Furnell, Steven
%I Springer
%K dblp
%P 135-155
%T Definition and Verification of Security Configurations of Cyber-Physical Systems.
%U http://dblp.uni-trier.de/db/conf/esorics/cicps2020.html#Varela-VacaRSLG20
%V 12501
%@ 978-3-030-64330-0
@inproceedings{conf/esorics/Varela-VacaRSLG20,
added-at = {2024-04-27T00:00:00.000+0200},
author = {Varela-Vaca, Ángel Jesús and Rosado, David Garcia and Sánchez, Luis Enrique and Gómez-López, María Teresa and Gasca, Rafael M. and Fernández-Medina, Eduardo},
biburl = {https://www.bibsonomy.org/bibtex/29277a0ce966b2708a5e8fd32e0e4b58d/dblp},
booktitle = {CyberICPS/SECPRE/ADIoT@ESORICS},
crossref = {conf/esorics/2020cicps},
editor = {Katsikas, Sokratis K. and Cuppens, Frédéric and Cuppens, Nora and Lambrinoudakis, Costas and Kalloniatis, Christos and Mylopoulos, John and Antón, Annie I. and Gritzalis, Stefanos and Meng, Weizhi and Furnell, Steven},
ee = {https://doi.org/10.1007/978-3-030-64330-0_9},
interhash = {662453c835528689dcd0b70bef5d95f1},
intrahash = {9277a0ce966b2708a5e8fd32e0e4b58d},
isbn = {978-3-030-64330-0},
keywords = {dblp},
pages = {135-155},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-05-06T07:27:53.000+0200},
title = {Definition and Verification of Security Configurations of Cyber-Physical Systems.},
url = {http://dblp.uni-trier.de/db/conf/esorics/cicps2020.html#Varela-VacaRSLG20},
volume = 12501,
year = 2020
}