OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: Informatics Security Repository: 37

Sort by Score Title Year -

61-64 from 64 results (0.041 seconds)

Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Análisis de flujo de control y código móvil seguro : ¿Una alternativa prometedora?
Author: Bavera, Francisco / Nordio, Martín / Aguirre, Jorge
Language: Español
Repository: 37
Subject: Ciencias Informáticas / análisis estático / Security / verificación de código / Compilers / certificación de código

Acceder
Title: Two-Way Continual Authentication Model
Author: Lugani, Carlos Fabián
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / identity management / IoT / Authentication / Security

Acceder
Title: Minitas luchadoras: género y políticas públicas en estudios empíricos sobre las fuerzas policiales argentinas / Minitas luchadoras: gender and public policies in empirical studies about the argentine police forces
Author: Calandrón, Julieta Sabrina
Language: Español
Repository: 37
Subject: Ciencias Sociales / Género / Policía / Política Pública / Seguridad / Gender / Police / Public policies / Security

Acceder

« Previous 1 2 3 4 5 6 7 Next »