english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería

Search

Advanced search

Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-9 of 9 (Search time: 0.005 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2008Hacia una especificación formal del modelo de seguridad de MIDP 3.0Mazeikis, Gustavo; Betarte Guidi, Gustavo; Luna, Carlos
2007Concepción, diseño e implantación de un laboratorio de seguridad informáticaCorti, María Eugenia; Betarte Guidi, Gustavo; Rodríguez Da Silva, Marcelo Paul
1998La increíble historia del Instituto de Computación (en 24 e-mails)Arbilla, Laura; Bermúdez, Laura; Betarte Guidi, Gustavo; Bove, Ana; Cabezas, Juan José; Cancela, Héctor; Carpani, Fernando; Cornes, Cristina; Giménez, Eduardo; Gonnet, Gastón; Goyoaga, Joaquín; González, Juan; Holz, Ida; Ruggia, Raúl; Tasistro, Alvaro; Urquhart, María E; Vidart, Jorge; Viola, Alfredo
2006A formal specification of the MIDP 2.0 security modelZanella Béguelin, Santiago; Betarte Guidi, Gustavo; Luna, Carlos
2008A Certified Access Controller for JME-MIDP 2.0 enabled Mobile DevicesRoushani Oskui, Ramin; Betarte Guidi, Gustavo; Luna, Carlos
2012Modelos de memoria en entornos de virtualizaciónChimento, Jesús Mauricio Martín; Luna, Carlos; Betarte Guidi, Gustavo; Campo, Juan Diego
2008A Certified Access Controller for JME-MIDP 2.0 enabled Mobile DevicesCrespo, Juan Manuel; Betarte Guidi, Gustavo; Luna, Carlos
2007Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)Betarte Guidi, Gustavo; Luna, Carlos; Sierra Abbate, Luis Ricardo
2010Seguridad informática en la Universidad de la RepúblicaBetarte Guidi, Gustavo; Blanco, Alejandro; Campo, Juan Diego; Corti, María Eugenia; Luna, Carlos; Rodríguez Da Silva, Marcelo Paul; Zipitría, Felipe
  • previous
  • 1
  • next

Discover