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

Query: CONTROL Repository: 37 Year: 2012 Year: 2005 Subject: Security

Sort by Score Title Year -

1-3 from 3 results (0.01 seconds)

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: 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: Condiciones necesarias para la Auditoría en tecnologías derivadas de Web Services e Identidad Federada
Author: Díaz, Francisco Javier / Molinari, Lía Hebe
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Web-based services / SOAP / Distributed Systems / SAML / Security / single sign on / Sarbanes-Oxley / XML encription / identidad federada

Acceder

« Previous 1 Next »