Descripcion
El objetivo principal de este proyecto fue el de facilitar la especificación y verificación de políticas de seguridad de programas Java Card así como la implementación de prototipos de diferentes componentes de esta tecnología.Propuesta
El resumen del area de investigación, antecedentes
del equipo de investigación, los objetivos del proyecto y la metodología
de trabajo son detallados en el documento de propuesta.
Resultados
Los resultados obtenidos son descriptos en el informe final.