Formalización del Controlador de Acceso de J2ME
El objetivo principal de este proyecto es obtener una especificación formal del algoritmo de decisión que implementa el controlador de acceso para J2ME y derivar un prototipo certificado que lo implemente.