A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Related items
Showing items related by title, author, creator and subject.
-
Artículo científico
Security in AODV Protocol Routing for Mobile ad hoc Networks
J.A. Villanueva-Cruz; C.F. García-Hernández; J.A. Pérez-Díaz; G. Cahue-Díaz; J.G. González-Serna -
Artículo científico
Formal Support to Security Protocol Development: A Survey
Juan Carlos López Pimentel; Raúl Monroy -
Artículo científico
A Model Checker for the Verification of Browser Based Protocols
Victor Ferman; Dieter Hutter; Raúl Monroy