Refine your Search
Subject
1-3 from 3 results
(0.012 seconds)
-
Title: A Method for Patching Interleaving-Replay Attacks in Faulty Security ProtocolsLanguage: InglésRepository: 34Subject: Authentication / Electric fault location / Mathematical models / Network protocols / Software engineering / Formal methods / Formal verification / Mobile security / Theorem proving / Verification / Replay attacks / Security protocols / Network security / Cryptographic protocols / Engineering practices / Fault localization / Inductive method / patching / Replay attack / State exploration / 7 INGENIERÍA Y TECNOLOGÍA
-
Title: Decisive dimension and other related torsion theoretic dimensionsAuthor: Castro Pérez, JaimeLanguage: InglésRepository: 34Subject: 7 INGENIERÍA Y TECNOLOGÍA
« Previous
1
Next »
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723