A Tool for Animating Security Protocols based on Dolev Yao model

Simple item page
dc.contributor.advisorDr. EmilioTuosto
dc.contributor.authorAFAF HABEEB T ALSHAMMARY
dc.date2015
dc.date.accessioned2022-05-26T16:19:59Z
dc.date.available2022-05-26T16:19:59Z
dc.degree.departmentSWE
dc.identifier.other28642
dc.identifier.urihttps://drepo.sdl.edu.sa/handle/20.500.14154/29454
dc.publisherSaudi Digital Library
dc.titleA Tool for Animating Security Protocols based on Dolev Yao model
dc.typeThesis
sdl.thesis.levelMaster
sdl.thesis.sourceSACM - United Kingdom

Files

Collections

SACM - United Kingdom

Copyright owned by the Saudi Digital Library (SDL) © 2025