Author:
Galán D.,García V.,Escobar S.,Meadows C.,Meseguer J.
Publisher
Springer Nature Switzerland
Reference22 articles.
1. Lightweight cryptography standardization process: NIST selects Ascon. NIST Computer Security Resource Center (2023). https://csrc.nist.gov/News/2023/lightweight-cryptography-nist-selects-ascon
2. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, USA (1986)
3. Clavel, M., et al.: Maude manual (version 3.3.1). Tech. rep., SRI International (2023). http://maude.cs.illinois.edu
4. Lecture Notes in Computer Science;M Clavel,2007
5. Day, J., Zimmermann, H.: The OSI reference model. Proc. IEEE 71(12), 1334–1340 (1983). https://doi.org/10.1109/PROC.1983.12775