“…This led to the definition of cryptofraglets, i.e., fraglets enriched with capabilities of encrypting, decrypting, signing, and verifying signatures over a series of symbols. Successively, work in [17] showed a more concrete advancement towards adopting fraglets for security modelling and verification, by proposing an executable specification of cryptofraglets in Maude [4,18], the popular engine based on rewriting logic [20].…”