Cargando…

Modelling and verification of secure exams

Detalles Bibliográficos
Autor principal: Giustolisi, Rosario
Lenguaje:eng
Publicado: Springer 2018
Materias:
Acceso en línea:http://cds.cern.ch/record/2697994
_version_ 1780964261646827520
author Giustolisi, Rosario
author_facet Giustolisi, Rosario
author_sort Giustolisi, Rosario
collection CERN
id cern-2697994
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer
record_format invenio
spelling cern-26979942021-04-21T18:18:09Zhttp://cds.cern.ch/record/2697994engGiustolisi, RosarioModelling and verification of secure examsComputing and ComputersSpringeroai:cds.cern.ch:26979942018
spellingShingle Computing and Computers
Giustolisi, Rosario
Modelling and verification of secure exams
title Modelling and verification of secure exams
title_full Modelling and verification of secure exams
title_fullStr Modelling and verification of secure exams
title_full_unstemmed Modelling and verification of secure exams
title_short Modelling and verification of secure exams
title_sort modelling and verification of secure exams
topic Computing and Computers
url http://cds.cern.ch/record/2697994
work_keys_str_mv AT giustolisirosario modellingandverificationofsecureexams