When a professional or researcher faces the task of analyzing some real-world IT system, being it a security protocol, a piece of software, or something else, it comes the moment when the system parameters are enumerated and for each of them he/she has to define its possible values.
Verification-as-a-Service for Parameter Assessment / Spalazzi, L.; Spegni, F.. - ELETTRONICO. - (2019), pp. 1043-1044. (Intervento presentato al convegno 2019 International Conference on High Performance Computing and Simulation, HPCS 2019 tenutosi a irl nel 2019) [10.1109/HPCS48598.2019.9188093].
Verification-as-a-Service for Parameter Assessment
Spalazzi L.;Spegni F.
2019-01-01
Abstract
When a professional or researcher faces the task of analyzing some real-world IT system, being it a security protocol, a piece of software, or something else, it comes the moment when the system parameters are enumerated and for each of them he/she has to define its possible values.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
