    @inproceedings {1981,
	title = {Verification and Validation Methods for a Trust-by-Design Framework for the IoT},
	booktitle = {36th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec{\textquoteright}22)},
	volume = {13383},
	year = {2022},
	month = {07/2022},
	pages = {183-194},
	publisher = {Springer},
	organization = {Springer},
	address = {Newark, NJ, USA},
	keywords = {Internet of Things (IoT), SysML, System Development Life Cycle (SDLC), Trust, UML},
	isbn = {978-3-031-10683-5},
	doi = {https://doi.org/10.1007/978-3-031-10684-2_11},
	url = {https://link.springer.com/chapter/10.1007/978-3-031-10684-2_11},
	author = {Davide Ferraris and Carmen Fernandez-Gago and Javier Lopez}
}
@inproceedings {JavierLopez2002a,
	title = {Verification of Authentication Protocols using SDL-method},
	booktitle = {First International Workshop on Security in Information Systems (SIS{\textquoteright}02)},
	year = {2002},
	month = {April},
	pages = {61-71},
	address = {Ciudad Real, Spain},
	abstract = {<p>Authentication between protocol agents is widely studied in the cryptographic protocol analysis area. It is essential in a virtual environment to rely on protocol parties{\textquoteright} identity. In the academic literature there are many protocols that provide the authentication property. We present in this paper a new mechanism to verify authentication using SDL, general purpose specification language. We have defined a generic schema in SDL that allow us to specify a security system and check system behavior when a malicious agent ( the intruder ) is present. We have used the EKE authentication protocol to illustrate how the mechanism works.</p>},
	author = {Javier Lopez and Juan J. Ortega and Jose M. Troya}
}
