Formal Support to Security Protocol Development: A Survey

dc.creatorJuan Carlos López Pimentel
dc.creatorRaúl Monroy
dc.date.accessioned2019-10-08T20:36:00Z
dc.date.accessioned2022-10-13T22:38:44Z
dc.date.available2019-10-08T20:36:00Z
dc.date.available2022-10-13T22:38:44Z
dc.date.created2019-10-08T20:36:00Z
dc.identifierhttp://hdl.handle.net/11285/635179
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4228865
dc.publisherInstituto Politécnico Nacional
dc.relationhttp://www.redalyc.org/revista.oa?id=615
dc.rightsComputación y Sistemas
dc.sourceComputación y Sistemas (México) Num.1 Vol.12
dc.subjectComputación
dc.subjectFormal methods
dc.subjectsecurity protocols
dc.subjectprotocol synthesis
dc.subjectprotocol diagnosis and repair
dc.titleFormal Support to Security Protocol Development: A Survey
dc.typeArtículo científico


Este ítem pertenece a la siguiente institución