¿Cuáles son los próximos cambios en los fideicomisos en Nieves? -\nInicio/Trust y Protección de Activos/¿Cuáles son los próximos cambios en los fideicomisos en Nieves?\nConstantemente hacemos énfasis en lo importante que es recibir la asesoría adecuada en cualquier tema relacionado a finanzas y economía, pues es la mejor manera de evitar errores y eludir problemas como deudas monetarias (tenga en cuenta que infringir una ley puede costar miles de dólares en multas).\nAsí como es crucial tener el respaldo de agentes autorizados para no caer en deslices tontos, también lo es para mantenerse al día con los constantes cambios y modificaciones que se puedan llevar a cabo. Recordemos que el mundo de las finanzas debe actualizarse cada cierto tiempo para seguirle el ritmo a las transacciones alrededor del globo.\nPor ello en esta ocasión nos reunimos con nuestro socio experto en la protección de activos mediante la creación de un trust o fideicomiso en Nieves. ¿Está buscando una manera de resguardar su capital? ¡No se pierda esta entrevista! Hablamos sobre puntos clave de esta herramienta y sus próximos cambios.\n¡Bienvenido! Gracias por aceptar esta reunión, ¿podría hablarnos acerca de su experiencia en la protección de activos?\nEs un placer para mí estar aquí hoy. Tengo más de 20 años apoyando y ayudando a clientes en el manejo de herramientas para resguardar su capital, especialmente mediante la creación de fideicomisos y estructuras afines. Hemos encontrado que es una de las mejores opciones lograrlo, sobre todo si el proceso se lleva a cabo según las leyes de la jurisdicción de Nieves.\nSin duda, establecer un fideicomiso junto a agentes autorizados en este país es ideal para cualquier inversionista o ejecutivo que quiera proteger su dinero de terceras partes.\n¿Por qué recomendaría a nuestros clientes un trust en Nieves?\nDentro de los muchos beneficios que tiene, destacaría los siguientes:\nLa Regla contra las Perpetuidades ha sido abolida, permitiendo que el fideicomiso exista eternamente a menos que el instrumento de fideicomiso (contrato) recite lo contrario.\nSi el instrumento de fideicomiso está redactado apropiadamente, se permite que el fideicomiso acumule ingresos a pesar de la regla contra las acumulaciones (por ello es tan importante la asesoría).\nEl acreedor de una sentencia que desee iniciar una acción contra el fideicomiso debe primero depositar una fianza por un monto de aproximadamente 100.000 USD.\nSi se inicia una acción contra un fideicomisario de un Fideicomiso Internacional Exento de Nieves en un tribunal extranjero, o el tribunal extranjero ordena al fideicomisario que emprenda alguna acción con respecto al fideicomiso, el fideicomisario es automáticamente eliminado de su “cargo” por operación de la ley. Ocurre lo mismo en el caso de un protector.\nEl fideicomitente recibe una larga lista de poderes de retención permisibles que no invalidarán el fideicomiso (ejemplos: servir como asesor de inversiones del fideicomiso, remover un fideicomisario, remover un protector, nombrar un fideicomisario, nombrar un protector, dirigir a un fideicomisario o a un protector en cualquier asunto).\nEl fideicomisario puede pagar a un tercero en nombre de un beneficiario o fideicomitente de un fideicomiso discrecional sin ser responsable ante el acreedor judicial del beneficiario o fideicomitente.\nEl fideicomisario puede pagar cualquier gasto en nombre de un beneficiario de un fideicomiso discrecional sin ser responsable ante el acreedor del beneficiario.\n¿Se garantiza la confidencialidad? ¿Es esto posible?\nLa confidencialidad nunca está garantizada, pero los acuerdos operativos de Nieves LLC y los contratos de trusts de NIETO (Nevis International Exempt Trust Ordinance) no se registran en los respectivos Registros de Nieves. Para obtener ésta o cualquier otra información, se debe presentar una solicitud de información vinculante al agente registrado local.\nTampoco se presentan declaraciones informativas anuales para los fideicomisos de las LLC de Nieves y los fideicomisos de NIETO, aunque es probable que las LLC de Nieves tengan que presentar algún tipo de declaración fiscal, posiblemente a partir del 30 de abril de 2020. Los detalles de ese formulario aún no se conocen.\n¿Hay próximos cambios en la creación de trusts en Nieves?\nSí, de hecho, hay un gran número de posibles cambios próximos que podrían afectar significativamente el uso de los fideicomisos de NIETO y también de las LLC de Nieves.\nCon respecto a los fideicomisos de NIETO, la Asociación de Proveedores de Servicios de la Isla de Nieves ha comentado a la Administración de la Isla de Nieves lo siguiente con respecto a los cambios propuestos:\nLa prescripción de las acciones del acreedor no se modificará (se había sugerido aumentar de dos a seis años), pues esto podría afectar las condiciones de la jurisdicción.\nSe sugiere mantener la duración de los fideicomisos de manera ilimitada. Incluir una fecha de terminación sería una desventaja y no representa ningún daño permitir que un fideicomiso continúe indefinidamente.\nSe mantendrá el requisito de la fianza (bond) pues eliminarlo sería una desventaja: podría alentar frívolas demandas.\nNo habrá cambios en la sección 28 “Prevención de fraude”. Las enmiendas propuestas suprimen las características de protección de activos dispuestas por ley.\nSe descartará la sección VIII ya que no añade ninguna protección que los beneficiarios no tengan ya. De hecho, impone responsabilidades que desalentarán a las personas a actuar como fideicomisarios y alienta las malas prácticas administrativas.\n¡Muchas gracias por su tiempo! Esta información será muy valiosa para nuestros lectores.\nSi bien aún no se han definido concretamente los cambios a llevar a cabo –más allá de la respuesta sugerida por la asociación–, es muy importante estar atento a las noticias. Nuestro equipo está formado por expertos y profesionales que se mantienen al día ante cada actualización.\n¿Tiene alguna duda? ¡Contáctenos! Nuestra primera hora de consulta totalmente gratuita está a tan solo un clic de distancia.\n2020-01-13T16:44:13-05:00enero 15th, 2020|Categorías: Trust y Protección de Activos|\n- Sessions - 18,169\n- Visitors - 15,571\n- New Visitors - 15,020\n- Pageviews - 25,689\n- Visitors - 700\n- Pageviews - 941


Comprobar si una imagen está retocada con JPGSnoop | Cajón desastres\n« Descargar plantillas tarjetas Recordatorios Primera Comunión\nTortilla francesa. Cocina fácil »\nExiste un programa, JPEGsnoop, que es gratis, con el que podremos saber si una imagen ha sido retocada, no averiguaremos cuan retocada está, ni donde están los retoques, pero al menos sabremos con certeza que nuestro amigo no visito el Gran Tarajal, al menos cuando se hizo la foto que nos envió.\nY eso es posible, porque cada imagen contiene gran cantidad de información oculta, tras examinar la imagen, JPEGsnoop nos muestra todos los datos que ha recogido, metadatos EXIF, huellas de compresión, histogramas de color y demás parámetros internos, información que JPEGsnoop utiliza para determinar la autenticidad de la imagen.\nEl funcionamiento del programa es simple, puesto que no hace falta ni instalarlo, pulsamos sobre el ejecutable y una vez abierto veremos una pantalla en blanco como esta.\nPara examinar una imagen, podemos hacerlo de dos formas:\nBien desde File, Open y buscar la imagen\nO, arrastrarla directamente a la zona blanca que nos muestra el programa una vez abierto.\nCasi al instante, nos empieza a mostrar su informe con muchos datos, que a la mayoría de usuarios no nos dice casi nada, pero si seguimos bajando, al final del informe, veremos una parte muy interesante “ASSESSMENT”.\nSegún el programa, la foto que mi amigo me envió desde el Gran Tarajal no sabe si es cierta o no, pero seguro que fue editada y además el programa usado fue Photoshop.\nTambién, como se puede observar a la derecha, incluso a la hora de guardarla, lo hizo como ya indicamos en este post, con el fin de bajar el peso (al menos ha aprendido eso y ahora cuando nos envía las fotos de sus viajes a los amigos, los correos no se vuelven interminables como antes) pero le bajó la calidad demasiado, puesto que la puso a 30.\nJPEGsnoop, puede trabajar con imágenes de formato JPG, JPEG, PDF, DNG, o RAW, incluso puede analizar fotogramas de vídeo AVI, QTVR, MOV.\nFunciona con todos los Windows, desde Win98SE/Me/2000/XP/2003 hasta Vista\nEn fin, que si tenéis dudas con una imagen, no dudéis en probarlo.\n3 Responses to “Comprobar si una imagen está retocada con JPGSnoop”\n2 FavBackup, Copias de seguridad de navegadores Web « Cajón desastres Trackback en 17 agosto, 2009 a las 22:21\n3 Indice de Contenidos Cajón desastres. Año 2009 « Cajón desastres Trackback en 30 diciembre, 2009 a las 00:39


Semana Santa: pide IMSS mantener medidas sanitarias contra COVID-19 - News Report MX\nSemana Santa: pide IMSS mantener medidas sanitarias contra COVID-19\nEs indispensable usar cubreboca, porque la transmisión del virus SARS-CoV-2 es principalmente respiratoria, además de reforzar las otras medidas preventivas.\nDurante el periodo vacacional de Semana Santa, el Instituto Mexicano del Seguro Social (IMSS) recomienda a la población mantener las medidas sanitarias para prevenir contagios de COVID-19.\nEstre estos cuidados, destacó el uso de cubrebocas en espacios cerrados, lavado frecuente de manos o uso del alcohol gel al 70 por ciento, y procurar la sana distancia para cortar cadenas de contagio por coronavirus SARs-COV-2.\nTE PUEDE INTERESAR: En abril IMSS y Sector Salud federal llevan a cabo una vacunación intensiva contra COVID-19 en todo México\nLa doctora María del Rosario Niebla Fuentes, coordinadora de Programas Médicos en la División de Promoción a la Salud, resaltó que aunque disminuyeron los contagios no se debe bajar la guardia.\nEsto, porque la pandemia continúa y están en riesgo de presentar complicaciones las personas con enfermedades crónicas sin control, embarazadas y quienes no cuenten con el esquema de vacunación contra este virus.\nRecomendaciones del IMSS para las vacaciones de Semana Santa\nSeñaló que si la gente realiza viajes estos días, la recomendación es que durante el trayecto se use siempre mascarilla o cubrebocas.\nAdemás, evitar la visita a familiares con quienes no se convive con frecuencia y completar el esquema de vacunación contra COVID-19 para tener una protección óptima.\nLlamó a la población a ser corresponsables en caso de presentar síntomas de enfermedad respiratoria, evitar contacto con otras personas, extremar los cuidados personales y acudir al médico.\nDestacó que el Instituto cuenta herramientas informativas y educativas para orientar a la gente respecto a la sintomatología y cuidados en torno al virus SARS-CoV-2.\nNiebla Fuentes indicó que en caso de presentar síntomas relacionados a COVID-19, entre ellos, dolor de cabeza, fiebre o dificultad respiratoria, las personas pueden acudir a su unidad médica más cercana a valoración de un especialista o consultar el link http://www.imss.gob.mx/marss para mayor información.\nPandemia ayudó a fomentar hábitos saludables\nIndicó que la emergencia sanitaria por COVID-19 presentó áreas de oportunidad para fomentar hábitos saludables en autocuidado, principalmente para prevenir enfermedades crónicas como Diabetes, Hipertensión arterial sistémica, Hipercolesterolemia, cáncer o inmunodeficiencias.\nLa doctora María del Rosario Niebla Fuentes reiteró la invitación para que la gente se empodere en su salud, fortalezca un estilo de vida activo, procure la alimentación saludable, aumente el consumo de frutas, verduras y agua, lleve a cabo un control subsecuente por médico tratante, evite excesos y garantice un sueño de calidad.\nRefirió que se ha documentado que durante la pandemia aumentó el consumo de bebidas azucaradas, snacks, dulces, comida rápida y productos precocinados.\nEs por ello que, durante la Semana Santa, el IMSS reitera el llamado no descuidar la salud.\nTags: Coronavirus, imss, Pandemia, Semana Santa, vacaciones


El Telégrafo - Noticias del Ecuador y del mundo - Judicatura habilita unidades de garantías penitenciarias\nJudicatura habilita unidades de garantías penitenciarias\nRedacción Justicia - 04 de septiembre de 2019 - 11:47\nEl Consejo de la Judicatura (CJ) entregó este miércoles 4 de septiembre del 2019 las resoluciones para la creación de unidades judiciales de garantías penitenciarias para en cuatro cantones del país.\nEl acto se llevó a cabo ante la presencia de autoridades del Ministerio de Gobierno y del Servicio Nacional de Atención Integral a Personas Adultas Privadas de Libertad y Adolescentes Infractores (SNAI).\nMaría del Carmen Maldonado, presidenta de la Judicatura, explicó que la creación de las unidades permitirá precautelar los derechos humanos de las personas privadas de libertad, así como reducir el hacinamiento en los centros de rehabilitación social.\nDichas unidades se ubicarán en Latacunga (Cotopaxi), Cuenca (Azuay), Guayaquil (Guayas) y Portoviejo (Manabí). Esta implementación beneficiará a más de 25 mil internos.\nEdmundo Moncayo, titular del SNAI, destacó que esta modalidad ayudará a reducir el hacinamiento, que es uno de los principales problemas que vive la población penitenciaria.\n"En 40 días hemos sacado adelante este proyecto en beneficio del sistema penitenciario", expresó.\nLa vocal Maribel Barreno añadió que las nuevas unidades judiciales de garantías contarán con el personal suficiente. Y advirtió que los jueces se dedicarán exclusivamente al tema penitenciario. (I)\nunidades garantias penitenciarias\nMaría Eulalia regresa a su casa luego de recibir asistencia médica


Alejandra el Vie Mayo 02 2008, 12:12\nCreer que los hijos atan a alguien. Cuando una pareja incompatible permanece unida "por los niños", les hace un gran daño. Ellos viven procesos de separación agónicos, tormentosos. Si realmente amas a tus hijos, enséñales con tu ejemplo a decidir y hacer lo que quieren\nSilvina el Vie Ago 15 2008, 20:57\nalejandra: ayyy como me dejaste pensando!!!!!! gracias por compartir este texto...te mando un abrazo amiga


Rosquillos Fritos por charunga. La receta de Thermomix® se encuentra en la categoría Dulces y postres en www.recetario.es, de Thermomix®\ncreado: 2016-03-20 modificado: 2016-03-22\n150 gramos aceite de oliva suave, Frito y frio\n3 sobres papelillos A / B (3)\n450 gramos harina, aproximadamente\nAceite de girasol para feir\nPoner e la jarra el azúcar junto con la corteza del limón, triturar 10 seg. Vel 10. Añadir los huevos y batir 15 seg. Vel 6; incorporar el aceite y mezclar 10 seg. Vel 6.Mezclar la harina con los papelillos gasificantes y mezclar en la jarra 6 seg. Vel espiga. Rectificar de harina si fuera necesario, hasta conseguir una masa blanda que se pueda manipular .\nPoner la masa en un bol engrasado con aceite, calentar en una sartén el aceite para freir; con las manos engrasadas en aceite hacer bolas del tamaño de una nuez, y con los dedos pulgar e índice hacer un agujero para formar el rosquillo; freir en la sarten, dejar escurrir el aceite, espolvorear con azúcar o azúcar y canela. Listos para comer\npara la consistencia de la masa se recomienda mirar el batido que no sea demasiado compacto, los rosquillos saldran un poco duros por excesdo de harina\nHola, los papelillos son\nescrito por charunga en 24 junio 2016 - 18:54.\nHola, los papelillos son gasificante o papelillos de gaseosa, que van emparajados de color blanco y azul, o\nA y B los encuentras en Mercadona, cualquier establecimiento de alimentacion.\nescrito por charunga en 5 junio 2016 - 01:30.\nHola, los papelillos son sobres de gasificante, que no es levadura. Son sobres que van unidos, dos uno de color blanco o A, y otro azul o B. Los usaba mi madre para hacer magdalenas o rosquillos, y eran y son de la marca "" las dos palmas"".\nPara los rosquillas se pone uno blanco y otro azul por cada huevo. Te he respondido...?\nHola, que son los papelillos\nescrito por Nikita0805 en 27 marzo 2016 - 17:26.\nHola, que son los papelillos pf ?


Increible...El gobierno le solicit� "asistencia t�cnica" al FMI p/ mejorar el INDEC - P�gina 3\nMensajes 5,318\tRe: Increible...El gobierno le solicit� "asistencia t�cnica" al FMI p/ mejorar el IND\nLa verdad que me importa tan poco este tema. Hay tantos que estan obsesionados con la estadistica ahora, me imagino que en 2011 los inscriptos para estadistica se van a cuadriplicar sep, esperemos el elicoptero pal 2011 Me gusta\nMensajes 6,621\tRe: Increible...El gobierno le solicit� "asistencia t�cnica" al FMI p/ mejorar el IND\nseguramente usen el indice alternativo para mantener algo del pago\n25-11-10, 01:29 AM\nel gobierno que culpa al FMI de todos nuestros males y lo ningunea?\na mi me parece muy buena la medida, me gustaria que el INDEC de la inflacion como corresponde, pero el solo hecho que el Gobierno reconozca la inflacion me parece un buen anuncio.\nEso si, los que decian que la inflacion no es importante ?\n25-11-10, 01:32 AM\nNuevo �ndice precios Argentina no afectar� bonos CER\nok, mi error. Igual tu aclaracion significa algo muy positivo!.\n25-11-10, 01:43 AM\n...Mi felicidad radica en que el gobierno bajo la cabeza y reconoce la inflacion...\nAhahahahahaha de antologia.\nMi felicidad radica en que el estado me de lo que me sirve, si mentir con la inflacion ayuda, que asi sea.\nEl hecho que estafemos a la economia mundial y a la especulacion porque nuestro pais no es tan bueno para la inversion como lo pintamos o que directamente sea una situacion borrosa y de incertidumbre, es simplemente un plus .\n25-11-10, 01:45 AM\nMensajes 6,269\tRe: Increible...El gobierno le solicit� "asistencia t�cnica" al FMI p/ mejorar el IND\nel tema es que la inflacion distorciona los indicadores de crecimiento (si es que no se corresponde con la realidad).\nEntonces cuando digan que crecimos un 9%, en realidad es un 4 o 5... mmm\nExplica eso por favor porque me parece que mandaste cualquiera...\nclaro, porque ir a pedirle ayuda al FMI es una estafa a la economia mundial, si si\n25-11-10, 03:08 AM\nEl crecimiento del pbi para que sea comparable (y por lo tanto, para decir "crecimos tanto %), tiene que estar ajustado al IPC. Sino, estas comparando peras con manzanas.\nEl numero que te da el producto de un a�o, lo ajustas por el ipc (la diferencia con el a�o pasado) y ahi sacas la diferencia.\nSi el IPC esta mal calculado, vas a mostrar mal la comparacion.\nFijate esto, seria como comparar el PBI de hoy, en pesos, con el PBI del... no se, 98, y te daria que somos como 4 veces mas grandes.. y es obvio que no es asi.\nMuchas veces te muestran las series, y te dice "en pesos de 1993", y cosas asi.\nEsos ajustes son para poder comparar, sino vas muerto. El ajusto se hace a traves del indice de precios... Si esta mal el IPC, la estimacion de crecimiento de va a dar CUALQUIERA.\nedit: y usar dolares no cambia nada, porque lo que compraban 100 dolares hace 4 a�os no es lo mismo que compran 100 dolares hoy.\n25-11-10, 03:12 AM\nMensajes 1,881\tRe: Increible...El gobierno le solicit� "asistencia t�cnica" al FMI p/ mejorar el IND\nEstas diciendo que sos un egoista y que no tenes escrupulos. Hay que aplaudirte?\n25-11-10, 03:14 AM\nno, egoista no, porque el se refiere a todos los argentinos. supongo que habria que discutir si el insulto que tenes que usar con el es 'patriota' o 'nacionalista' (tengo que informarme mas en la diferencia de estos dos terminos), pero egoista no.\n25-11-10, 03:52 AM\nPero el dijo que lo que le importaba era que el gobierno lo beneficie a el, donde hablo de todos los argentinos?\n25-11-10, 03:54 AM\nMensajes 9,652\tRe: Increible...El gobierno le solicit� "asistencia t�cnica" al FMI p/ mejorar el IND\nse entendio que hablo por todos los argentinos, no te parece?\nMe parece bien la medida, le da de comer a la gilada para que no hable al pedo y de paso seguimos cagando a los hijos de puta que nos estafaron, esta tudu legal\nNo, no me parece, y no creo que los argentinos que tengan en su poder esos bonos tampoco les parezca. Pero prestarle plata al gobierno es de garca asi que supongo que no importa, no?\n25-11-10, 08:06 AM\nGoogle Vistas: 4115Mensajes: 119


China Perseguidor personal caliente del reloj del G / M GPRS del GPS de las ventas para el anciano Fabricantes\nHome > Lista de Producto > Reloj GPS / Teléfono > Perseguidor personal caliente del reloj del G / M GPRS del GPS de las ventas para el anciano\nK9 Uso: Mano Color: Negro Peso: 69g Marca: Keelin Origen: Shenzhen, China Tipo: GPS Tracker K9 + GSM Frecuencia: 850/900/1800 / 1900MHz Función: Teléfono Función / Sos / Romote Monitor Especificación: CE, CCC Características del producto\nK9 + reloj tiene cuatro tipos de modo de uso: modo de seguimiento GPS / modo de ahorro de energía / modo de suspensión / modo de hibernación.\n* Soporta bandas cuádruples, i. E. 850/900/1800 / 1900MHz, mundialmente utilizado ...\nPuede elegir la plataforma de monitoreo de terminal de Keelin o descargar APP por teléfono. Es diseñado por EELINK, podemos posicionar, seguimiento en tiempo real y reproducción en el servidor de plataforma o aplicación. Mientras tanto, puede utilizar su propia plataforma que puede admitir múltiples protocolos.\nPara orden sobre 500pcs o orden modificada para requisitos particulares, entre en contacto con por favor nuestras ventas para cerciorarse de que el inventario actual. Nuestra capacidad de fabricación es 1, 200, 000 unidades por año. Y para las unidades populares tenemos 3000pcs existencias por adelantado por mes.\nTeléfono GPS para ancianos con múltiples funciones (K20)


Vaude mochila Wizard 24+4 ventas online Mountain eXperience\nInicio > Senderismo>Mochilas>Vaude Wizard 24+4\nMochila versátil diseñado para practicar...\nMochila versátil diseñado para practicar el senderismo como para los viajes y el ocio con el sistema de suspensión Aeroflex para una luz y un ajuste cómodo.\nEl sistema de ajuste fácil le permite ajustar la altura de las correas de los hombros de mantenimiento de la mochila se unió de nuevo con una buena ventilación.\ncapacidad ampliable de 4 litros y equipado con bolsillos laterales elásticos. Bastones de trekking y una luz para las bicicletas se pueden fijar fácilmente en el exterior.\ncinturón acolchado con bolsillos\ncapacidad expandible con cremallera\nbolsillos organizadores en el compartimiento delantero\ncubierta de la lluvia con el ataque de iluminación de emergencia\nDimensiones: cm 48 x 30 x 27


Overol "Magic Click" Azul\nEste overol es perfecto para que te protejas cuando vayas a trabajar o a hacer alguna vuelta en la calle. Tiene un sistema (Magic Click) a base de imanes, que perimite que protejas tu nariz y boca de forma fácil con un tapabocas que puedes quitar o poner en un solo CLICK! Viene con dos rotulos, que tu elijes, con frases que pegas y despegas en el frente! (cuando vayas a hacer el checkout, en la seccion comentarios escrbenos las dos frases que quieres). Cuenta con 4 bolsillos; dos de ellos con cremallera y con huequito para que metas el cable de tu celular. Está hecho en tela antifluido que evita la entrada de cualquier partícula desde el exterior! Es impermeable, perfecta para esta temporada de lluvias y virus! El tapabocas es hecho en bi-tejido, es decir dos capas (según norma del MinSalud de Col.): 1.Tela Externa Antifluido No tejida (evita entrada de partículas) 2.Tela Interna transpirable con secado rápido.\nOverol "Magic Click" Gris\nOverol "Magic Click" Negro


Programación de JavaCards - PDF\nDownload "Programación de JavaCards"\nLucas Maestre Chávez\n1 Proyecto de Taller V (2000) Programación de JavaCards Tutor Gustavo Betarte Grupo de trabajo Daniel Perovich Leonardo Rodríguez Martín Varela Marzo 22, de 2001 Instituto de Computación Facultad de Ingeniería Universidad de la República\n3 Resumen En este documento se reporta el trabajo desarrollado en el contexto de un Taller V cuyo objetivo principal es el estudio de la tecnología JavaCard. Se ha realizado un estado del arte de esta tecnología, profundizando, en particular, en un tema de interés actual como lo es el uso compartido de objetos en forma segura. Asimismo, el presente informe presenta y discute las diversas herramientas de desarrollo con las que se ha experimentado para la programación de aplicaciones JavaCard. En particular se introduce una herramienta que ha sido desarrollada por este equipo de trabajo para facilitar la programación de aplicaciones. Se presenta, finalmente, el caso de estudio que se ha desarrollado, el cual consiste en la historia clínica resumida del portador de la tarjeta.\n4 Introducción Tabla de contenido Introducción 1 1 Estado del Arte Contexto general SmartCard JavaCard Aplicaciones de JavaCard JavaCard API 2.0 y Funcionamiento de una JavaCard Introducción JavaCard Runtime Environment (JCRE) JavaCard Applet Objetos Transitorios (Transient Objects) Transacciones Seguridad Seguridad física Seguridad lógica Mecanismos de Seguridad Lógica Applet Firewall Context Switching Contextos Grupales Objetos Protección del Firewall Métodos o campos estáticos Acceso a objetos en otros contextos Privilegios del JCRE Invocación de métodos sobre objetos en otros contextos Object Sharing Introducción Detalle del funcionamiento Consideraciones acerca de object sharing 15 2 Herramientas de Desarrollo Emulador Proxy Motivación Diseño Implementación Resultados obtenidos Trabajo futuro 20 Página 1\n5 Introducción 2.3 Kit Reader Kit de Desarrollo Cyberflex y Cryptoflex SmartCards Compatibilidad PC/SC Testeos Problemas detectados 22 3 Una metodología para el uso seguro de objetos compartidos Presentación del problema Una posible solución Un enfoque metodológico Conclusiones 25 4 Caso de Estudio Objetivos Problema Análisis de requerimientos Descripción general Análisis de requerimientos Características del problema Solución inicial Solución propuesta Descripción general Diseño de la solución Arquitectura general Solución a nivel de la tarjeta Solución a nivel del CAD Solución propuesta vs. solución inicial Solución aplicada a un problema general Solución aplicada al Caso de Estudio Limitaciones de la implementación 40 5 Conclusiones y trabajo futuro Conclusiones Trabajo futuro 43 Referencias bibliográficas 45 Apéndice I A Simple Methodology for Secure Object Sharing 49 Página 2\n6 Introducción Apéndice II Ejemplo de utilización del Proxy 57 aii.1 Introducción 57 aii.2 Descripción de la realidad 57 aii.3 Implementación 57 aii.4 Ejecución del Proxy 59 aii.5 Código generado 59 aii.5.1 Código para el CAD 59 aii.5.2 Código para la tarjeta 61 Apéndice III Detalles del Caso de Estudio 63 aiii.1 Introducción 63 aiii.2 Estudio del tamaño de la información 63 aiii.3 Archivo template.sml 65 aiii.4 Archivo SML de ejemplo 66 aiii.5 Código relevante 68 Apéndice IV SML 77 aiv.1 Introducción 77 aiv.2 Especificación 77 aiv.3 Utilización de SML 77 Página 3\n7 Introducción Introducción Numerosos campos de aplicación de la Internet y de las tarjetas inteligentes - especialmente el comercio electrónico - requieren que datos y recursos sean protegidos por medio de mecanismos de seguridad sofisticados. El lenguaje de programación Java representa una respuesta práctica a las cuestiones de movilidad y seguridad sobre Internet. Actualmente, se puede afirmar que Java se ha impuesto como un estándar de facto en estos dominios de aplicación donde las exigencias de seguridad son muy altas. Recientemente, Sun Microsystems Inc. publicó la definición de un nuevo miembro de las tecnologías Java, llamada JavaCard, que está orientada a la programación de tarjetas inteligentes. JavaCard fue diseñado de tal forma que ciertas construcciones de Java consideradas como demasiado complejas o no aplicables para la programación de tarjetas inteligentes no son incorporadas y por otro lado se agregan facilidades específicas para el manejo de transacciones con tarjetas inteligentes (atomicidad de un grupo de operaciones, objetos persistentes, etc.). Las políticas de seguridad de Java (conocidas como el sandbox model) que prohiben cualquier interacción entre objetos de diferentes applets fueron modificadas, y en algunos casos, debilitadas: JavaCard, por ejemplo, permite que un objeto sea compartido por diferentes applets. Este documento presenta un estado del arte de la tecnología JavaCard, definiendo los conceptos de SmartCard y JavaCard. Se describe, además, las características principales de la especificación JavaCard 2.1 y se introduce las herramientas de desarrollo con las que se ha trabajado, el emulador de Sun y el kit de desarrollo Cyberflex Access de Schlumberger. Se desarrolló una herramienta, proxy, motivada en un principio por las dificultades que presenta el trabajar con el emulador, y diseñada en busca de la simplificación del desarrollo de aplicaciones. También se explica en detalle el mecanismo de objetos compartidos introducidos en la versión 2.1 de la especificación, y se plantea los problemas que ésta presenta. Se propone, como mecanismo para la resolución de dichos problemas, una metodología de desarrollo para compartir objetos en forma segura. El caso de estudio que se ha considerado consiste en un sistema para mantener la historia clínica de un paciente en una tarjeta JavaCard. Dadas las características del problema a resolver, se optó por un enfoque más general, diseñando una solución que permite atacar problemas en donde la estructura de la información pueda ser representada por una estructura arborescente con información en las hojas. Se utilizó SML (Simple Markup Language) para el formato de los archivos de entrada y salida ya que éste brinda una estructura legible. El presente Taller V se inscribe dentro de las líneas de investigación y desarrollo del Grupo de Métodos Formales del In.Co. y forma parte de un proyecto más ambicioso de dicho grupo cuyo objetivo es la especificación y verificación de políticas de seguridad de programas Java y el desarrollo de herramientas para la generación de aplicaciones confiables en el contexto JavaCard. Un objetivo adicional considerado en este trabajo ha sido el diseño y desarrollo de una aplicación de porte medio para tarjetas inteligentes. Estructura del documento La primer sección brinda una introducción al tema tratado y presenta el estado del arte desarrollado en el proyecto, indicando aplicaciones en las que está siendo utilizada la tecnología estudiada. En la segunda sección se comenta las herramientas de desarrollo con las que se ha trabajado en el proyecto y se introduce la herramienta proxy. La metodología de desarrollo para compartir objetos en forma segura es presentada en la tercer sección. El caso Página 4\n8 Introducción de estudio desarrollado se presenta en la cuarta sección, junto con una discusión del problema planteado y otras posibles soluciones al mismo. La quinta sección presenta las conclusiones obtenidas a lo largo del trabajo realizado, y algunas sugerencias para futuros trabajos en este contexto. En el Apéndice I se incluye un artículo de divulgación escrito como parte del presente trabajo, y que trata con mayor profundidad la metodología presentada en la sección 3. Un ejemplo de utilización de la herramienta proxy es presentado en el Apéndice II. El ejemplo utilizado es una versión simplificada de un monedero electrónico. El Apéndice III presenta los detalles del caso de estudio, como ser la información a almacenar y los archivos de definición de los datos, entre otros. Por último, el Apéndice IV define los conceptos básicos de SML, con el fin de brindar una referencia rápida al lector. Página 5\n10 Estado del Arte Sección 1 Estado del Arte 1.1. Contexto general SmartCard Una SmartCard es un dispositivo del tamaño de una tarjeta de crédito 1, el cual almacena y procesa información mediante un circuito de silicio embebido en el plástico de la tarjeta. [ZHI1] Las tarjetas magnéticas (Magnetic Stripe Cards) utilizadas en cajeros automáticos y como tarjetas de crédito, son antecesoras de las SmartCards. Las mismas almacenan información en una banda magnética de tres pistas que llevan adherida sobre la superficie. Las SmartCards han existido en varias formas desde Desde ese entonces, gracias a la motivación de compañías como Gemplus [GEM] y Schlumberger [SLB1], han recibido gran atención en el mercado de los dispositivos de control. Según la consultora Frost & Sullivan [FROST] más de 600 millones de SmartCards fueron emitidas en 1996 y se espera un consumo de 21 billones para el año 2010 [CHAN]. Puede clasificarse a las SmartCards en dos tipos: - Memory Cards (también llamadas Low-End): Tienen circuitos de memoria que permiten almacenar datos. Estas tarjetas utilizan cierta lógica de seguridad, a nivel del hardware, para controlar el acceso a la información. - Microprocessor Cards (también llamadas High-End): Tienen un microprocesador que les brinda una limitada capacidad de procesamiento de datos. Tiene capacidad de lectura, escritura y procesamiento. Las SmartCards contienen tres tipos de memoria: ROM, EEPROM y RAM. Normalmente no contienen fuente de poder, display o teclado. Interactúa con el mundo exterior utilizando una interfaz serial con ocho puntos de contacto 2 como se muestra en la Figura 1.1. Las dimensiones y ubicación de los mismos están especificados en la parte 2 de estándar ISO 7816 [ISO]. 1 Se debe aclarar que la tecnología de SmartCards no se reduce estrictamente a tarjetas, como lo demuestra el amplio uso de los ibuttons de Dallas Semiconductor [IBUT1], los cuales se comercializan en varias versiones, incluida una que implementa el JavaCard API Excepto las que trabajan con radiofrecuencia. Ver párrafo siguiente Página 7\n11 Estado del Arte Figura 1.1 Son utilizadas en conjunto con un Card Acceptance Device (CAD o Reader), que puede, aunque no necesariamente, estar conectado a una computadora (Figura 1.2). Este dispositivo tiene como objetivo el proveer la fuente de poder e interfaz de comunicación para las tarjetas. La interacción entre la tarjeta y el CAD puede hacerse mediante un punto de contacto (la tarjeta debe ser insertada en el CAD) o sin contacto (utilizando radiofrecuencia). Figura JavaCard Dentro de la categoría de SmartCards con microprocesador se encuentran las llamadas JavaCards o Java SmartCards. Una JavaCard es una SmartCard capaz de ejecutar programas desarrollados en Java. Originalmente, las aplicaciones para SmartCards eran escritas en lenguajes específicos de los proveedores de SmartCards (normalmente el ensamblador del microprocesador utilizado, o eventualmente C). El lema "escribe una vez, corre en cualquier lado" hizo que Java fuese una solución a este problema [ZHI1]. La primera JavaCard en salir al mercado fue producida por Schlumberger, aún antes de que Sun fijara el standard. [DIGIOR] En pocas palabras, una JavaCard es una tarjeta con microprocesador que puede ejecutar programas (llamados applets) escritos en un subset 3 del lenguaje Java. Los componentes principales dentro de una JavaCard son el microprocesador y las memorias. La arquitectura básica de una JavaCard consiste de Applets, JavaCard API, JavaCard Virtual Machine (JCVM) [SUN2] / JavaCard Runtime Environment (JCRE) [SUN1], y el sistema operativo nativo de la tarjeta (Figura 1.3). 3 Estrictamente hablando, este lenguaje no es exactamente un subset de Java, ya que introduce algunos elementos nuevos en la JVM, como ser mecanismos de seguridad adicionales. Página 8\n12 Estado del Arte Figura 1.3 La máquina virtual corre sobre el sistema operativo de la tarjeta, y se puede ver como una abstracción del mismo. Sobre la máquina virtual se encuentra el JavaCard Framework, que es un conjunto de clases necesarias para el funcionamiento del JCRE y JavaCard API, así como clases utilitarias comerciales o extensiones propietarias del fabricante de la tarjeta. Finalmente, haciendo uso de este ambiente se encuentran los applets. [CHAN, ZHI1] Aplicaciones de JavaCard El número de aplicaciones para JavaCards, y SmartCards en general, va en un aumento constante, y abarca áreas muy diversas. Algunos ejemplos típicos se citan a continuación: - Electronic Purse o Electronic Wallet (epurse y ewallet): esta aplicación se utiliza como dinero electrónico. Se puede fijar un monto de dinero inicial, sobre el cual se puede realizar operaciones de débito, crédito o consulta, y puede ser utilizado para el pago o cobro de servicios o bienes. Típicamente lleva asociado algún sistema de seguridad (por ejemplo un PIN), para evitar la posibilidad de fraude. - Transacciones Seguras: Ya sea a través de cajeros automáticos o de Internet, las SmartCards proveen un nivel de seguridad muy superior al de las tarjetas magnéticas comunes o los sistemas basados en contraseñas o cookies, ya que es normal que incluyan un API de criptografía fuerte. - Identificación Digital / Firma Digital: este tipo de aplicaciones se utiliza para validar la identidad del portador de la tarjeta, o para poder certificar el origen de ciertos datos. Normalmente se basan fuertemente en las primitivas criptográficas del API y/o las que están implementadas en hardware. - Programas de Lealtad: Este tipo de aplicación sirve a las empresas que ofrecen servicios preferenciales para clientes frecuentes para poder validar la identidad del cliente, y para descentralizar la información. Suponiendo que se tiene un sistema de puntos acumulables, en el cual participan varias empresas, esto simplifica mucho el tratamiento de los datos, evitando tener que compartir una gran base de datos o tener que realizar réplicas de las distintas bases. - Sistemas de Prepago: En estos sistemas, un cliente "carga" su tarjeta con una cierta "cantidad" de servicio, la cual va siendo decrementada a medida que el cliente hace uso del servicio. El servicio puede variar desde telefonía celular hasta TV cable, pasando por acceso a sitios web o transporte público. - Health Cards: En algunos hospitales ya se está implementando un sistema de identificación de pacientes y almacenamiento de los principales datos de la historia clínica de los mismos en SmartCards para agilitar la atención. Actualmente la capacidad de almacenamiento es muy limitada, pero en un futuro se podría almacenar toda la historia Página 9\n13 Estado del Arte clínica (incluidas radiografías y similares) en una SmartCard. La sección 4 presenta el caso de estudio desarrollado; el mismo consta de la implementación de una Health Card. - Control de Acceso y de Asistencia: Ya hay varios sistemas de control de acceso y asistencia implementados en base a SmartCards o a ibuttons. [CHAN, SUN2] Existen más aplicaciones de SmartCards y JavaCards, algunas son variantes de las mencionadas arriba, mientras otras satisfacen necesidades específicas de una empresa JavaCard API 2.0 y 2.1 La última versión de la plataforma JavaCard es la especificación 2.1.1, liberada por Sun en el 2000, y actualmente hay algunas implementaciones en el mercado o en vías de ser comercializadas [GEM, SLB1]. Existen además otros sistemas basados en la especificación 2.0, como los ibuttons [IBUT1, IBUT2], que ya están ampliamente difundidos. La principal innovación que se introdujo en la versión 2.1 es la facilidad de compartir objetos entre applets, tema tratado con mayor profundidad en la las subsección 1.5, en la Sección 3 y en el Apéndice I Funcionamiento de una JavaCard Introducción La tecnología JavaCard combina parte del lenguaje de programación Java con un entorno de ejecución optimizado para SmartCards y similares. El objetivo de la tecnología JavaCard es llevar los beneficios del desarrollo de software en Java al mundo de las SmartCards. [SUN1] JavaCard Runtime Environment (JCRE) El JCRE comprende la máquina virtual de JavaCard (JCVM) junto a las clases y servicios definidos en el Application Programming Interface (API). Sobre este ambiente se ejecutan los applets que se desarrollan. La JCVM se diferencia principalmente de una JVM normal en que el tiempo de vida de la misma es igual al tiempo de vida de la tarjeta, por lo cual los objetos 4 mantienen sus estados entre dos sesiones con una terminal (CAD). Es responsabilidad del JCRE garantizar este comportamiento. Cuando se retira la tarjeta del CAD, se asume que se está ejecutando en un ciclo de reloj de período infinito [SUN1]. Otras diferencias entre ellas son las limitaciones en los tipos de datos manejados y los requerimientos de hardware para la ejecución [SUN2]. Para poder comprender como funciona una JavaCard, hay que tener en cuenta que al realizar la especificación de la plataforma, Sun se apegó al estándar ISO 7816 [ISO], el cual establece, entre otras cosas, la forma de comunicación entre una SmartCard y un CAD. De acuerdo al ISO 7816, el intercambio de información y comandos entre la tarjeta y el CAD se realiza a través de APDUs (Application Protocol Data Units), los cuales son paquetes de información con un formato específico [SUN1, ZHI1, DIGIOR, ZHI2]. De acuerdo al estándar, las SmartCards nunca inician la comunicación con el CAD, sino que sólo responden a los comandos que éste le envía. Se define dos tipos de APDU, los llamados COMMAND APDU, que son los que envía el CAD a la tarjeta, y los RESPONSE APDU, que son los que envía la tarjeta al CAD como respuesta a un COMMAND APDU. 4 Salvo aquellos que son marcados como transient Página 10\n14 Estado del Arte La siguiente tabla describe el formato de ambos tipos de APDU. Command APDU Encabezado Obligatorio Cuerpo Opcional CLA INS P1 P2 LC Data field LE Response APDU Cuerpo Opcional Cola Obligatoria Data field SW1 SW2 Campo Tamaño Descripción CLA 1 byte Clase de instrucción. Indica la estructura y el formato para una categoría de COMMAND y RESPONSE APDU INS 1 byte Código de instrucción. Especifica la instrucción del comando P1 1 byte Parámetros de la instrucción. Proveen más información sobre la P2 1 byte instrucción LC 1 byte Número de bytes en el Data Field del APDU Data Field LC bytes Secuencia de bytes con información LE 1 byte Cantidad máxima de bytes esperados como respuesta Data Field Hasta LE bytes SW1 1 byte SW2 1 byte Secuencia de bytes con información Status Word (palabra de estado). Denotan el estado del procesamiento del comando en la tarjeta Tabla JavaCard Applet Los applets son las aplicaciones que corren embarcadas en una JavaCard. Dichas aplicaciones interactúan en todo momento con el JCRE utilizando los servicios que éste brinda, e implementan la interfaz definida en la clase abstracta javacard.framework.applet, la cual deben extender [SUN3]. Se puede decir que un applet comienza su ciclo de vida al ser correctamente cargado en la memoria de la tarjeta, linkeditada y preparada para su correcta ejecución [SUN1]. Una vez registrada en el JCRE (con el método register(), descripto más adelante), un applet está en condiciones de ejecutar. Este applet normalmente existe durante el resto de la vida de la tarjeta. 5 La clase javacard.framework.applet define cuatro métodos públicos que son utilizados por el JCRE para hacer funcionar las aplicaciones. Método install(byte, short, byte) Este método es invocado por el JCRE antes de crear una instancia del applet en la tarjeta. La implementación usual de este método es llamar al constructor de la clase, que normalmente es privado, crear todos los objetos que el applet necesitará para su ejecución, y por último registrar el applet con el método register(). No es estrictamente necesario crear todos los objetos en el método install(). Sin embargo es una buena práctica de programación pues garantiza la obtención de toda la memoria necesaria, evitando quedar más adelante (tal vez una vez entregada al cliente) en un estado inválido por falta de memoria. 5 Si bien algunas implementaciones permiten el borrado de applets, normalmente una vez que la tarjeta es distribuida, los applets que tuviese embarcados permanecen en la misma Página 11\n15 Estado del Arte En caso de que se produzca una excepción durante la ejecución del método install(), el JCRE es responsable de realizar las actividades de limpieza pertinentes. Una vez finalizado el método, el JCRE marca al applet como listo para ser seleccionado (ver método select()). Método select() Este método es invocado por el JCRE como consecuencia de la recepción a un SELECT APDU 6. Este APDU, cuyo formato está definido en el ISO 7816, contiene el Application IDentifier (AID) del applet a seleccionar. El AID es una secuencia de entre 5 y 16 bytes, que identifica de forma única una aplicación para SmartCards, de acuerdo al ISO 7816, y es la misma ISO la que otorga los AIDs. El formato de un AID se puede ver en la siguiente tabla: Application Identifier (AID) National registered application provider Proprietary application identifier extension RID PIX 5 bytes Entre 0 y 11 bytes Tabla 1.2 Cada empresa que produce applets debe solicitar a la ISO su propio RID, y a su vez maneja sus PIX (en forma arbitraria) para identificar sus aplicaciones y packages. Una vez que el JCRE recibe un SELECT APDU, si hay algún applet seleccionado, invoca a su método deselect() (ver método deselect()) y luego invoca al método select() del applet cuyo AID fue especificado. El applet puede, por distintas razones, declinar la selección, en cuyo caso el JCRE es responsable de responder adecuadamente al CAD. En caso de que la selección se realice sin inconvenientes, se pasa el SELECT APDU al método process() (ver método process()) del applet seleccionado para que lo procese y devuelva al CAD la información que sea pertinente. Método process(apdu) Cuando llega un APDU el JCRE invoca este método del applet seleccionado, pasándole como parámetro el COMMAND APDU recibido. Dentro de este método, el applet identifica el comando asociado al APDU y los parámetros, si los hay, y los procesa de acuerdo al protocolo que se haya definido para la interacción entre el applet y la aplicación terminal. En caso de que la ejecución finalice correctamente, el applet sólo debe encargarse de cargar en el RESPONSE APDU la información que va a devolver, si la hay. El JCRE es responsable de setear los SW del RESPONSE APDU al valor especificado para ejecución exitosa (0x9000, de acuerdo a lo especificado en el ISO 7816). Durante el proceso de un APDU, el applet puede levantar una ISOException con los SW apropiados, la cual, si no es atrapada por el código del applet, es atrapada por el JCRE, quien se encarga de generar el RESPONSE APDU correspondiente. Método deselect() Este método es invocado por el JCRE para avisar al applet que está actualmente seleccionado, que va a dejar de estarlo. Esto sucede cuando el JCRE recibe un SELECT APDU (aún cuando el AID del applet a seleccionar coincida con el del applet seleccionado). 6 Que es un COMMAND APDU con cierta configuración (estándar) de CLA, INS y demás parámetros Página 12\n16 Estado del Arte Esto brinda al applet la oportunidad de realizar las tareas de limpieza que sean necesarias para quedar en un estado consistente Objetos Transitorios (Transient Objects) En algunos casos, los applets utilizan cierta información que no necesariamente debe persistir entre dos sesiones diferentes, ya sea porque es temporal, o porque podría generar problemas de seguridad. Es por esa razón que el JCRE permite definir objetos transitorios (transient objects), los cuales no mantienen su estado entre dos sesiones de CAD diferentes, o entre dos selecciones del applet al que pertenecen. Es importante notar que los objetos como tales siguen existiendo, y son persistentes; sin embargo, los valores de sus campos son seteados a sus valores por defecto (esto es, según la especificación de Java [SUN2, SUN7, SUN8], 0 para variables numéricas, false para variables booleanas y null para variables de referencia). Los objetos transitorios de la plataforma JavaCard se dividen en dos categorías, a saber: - CLEAR_ON_RESET transient objects: son aquellos que sólo son reseteados al producirse un reset del JCRE (por ejemplo, al insertar la tarjeta en el CAD). - CLEAR_ON_DESELECT transient objects: son aquellos que son reseteados o bien al producirse un reset del JCRE o bien al ser recibido por éste un SELECT APDU estando el applet a la que pertenecen actualmente seleccionada. La diferencia entre ambos es la capacidad de los CLEAR_ON_RESET transient objects de ser persistentes durante toda una sesión en el CAD, independientemente de si el applet se mantiene seleccionada durante toda la sesión o no. Esto puede ser útil a la hora de trabajar con claves de sesión o datos similares. El JCRE debe implementar los objetos transitorios de forma que: - Nunca queden almacenados en ningún medio permanente (como ser EEPROM) - Sus campos deben ser reseteados a sus valores por defecto (según la categoría a la que pertenezca el objeto, se producirá el reseteo frente a diferentes eventos) - El escribir o leer datos sobre los mismos no debe ser penalizado con un mayor tiempo de ejecución - Las modificaciones en sus campos no son afectadas por transacciones. Esto es, nunca se recupera un dato que estaba contenido en un objeto transitorio, aún cuando se estuviera dentro de una transacción y la misma fuese abortada (ver transacciones) Transacciones El JCRE brinda la posibilidad de realizar transacciones, esto es, ejecutar un conjunto de sentencias en forma atómica, de forma que o bien se completa la ejecución, o bien se restaura el estado anterior de los objetos intervinientes. El API brinda tres métodos para el manejo programático de transacciones: - JCSystem.beginTransaction(): indica que comienza una transacción. A partir de la invocación a este método, el JCRE es responsable de mantener los valores anteriores de los campos modificados. - JCSystem.commitTransaction(): indica que finaliza la transacción, y los cambios se hacen definitivos. Página 13\n17 Estado del Arte - JCSystem.abortTransaction(): indica que se finaliza anormalmente la transacción, y los estados originales de los objetos deben ser restaurados 7. Adicionalmente, en caso de producirse un retorno (normal o anormal) de un método select(), deselect(), process() o install() mientras hay una transacción en progreso, se aborta la misma, y se restauran los estados originales de los objetos modificados. Un hecho muy importante a considerar es que, dado lo limitado de los recursos de la plataforma, existe una capacidad limitada de transacciones (commit capacity). El API provee métodos para determinar qué commit capacity hay disponible, aunque puede suceder que por problemas de overhead, la capacidad real sea menor que la indicada. En caso de que se exceda la capacidad máxima durante una transacción, se levanta una TransactionException Seguridad Seguridad física Prácticamente todo el mundo está de acuerdo en que las SmartCards son muy seguras y extremadamente difíciles de atacar, ya sea física o lógicamente. Algunos fabricantes [GEM, IBUT1] proclaman que sus tarjetas son físicamente inviolables, y que disponen de numerosas defensas contra ataques físicos, como ser detección de ciclos de reloj anormales en frecuencia, microprobing, retiro de la cubierta de resina epoxi o exposición del microprocesador a luz ultra violeta. Sin embargo, hay claros ejemplos en los que se ha logrado obtener, a través de diversos medios, la información contenida en una SmartCard [AND1, AND2]. En la Universidad de Cambridge, un grupo de investigadores ha desarrollado varios métodos de extracción de información protegida dentro de una SmartCard, y los resultados que plantean no son muy alentadores. Según la clasificación de los posibles atacantes propuesta por IBM [AND1, AND2], un atacante de clase I, que podría ser un estudiante de grado de Ingeniería Eléctrica con menos de US$ 400 de equipamiento, podría lograr extraer información de una SmartCard. De todos modos, los ataques registrados como exitosos sucedieron hace ya algún tiempo, y según los fabricantes, los componentes son cada vez más seguros Seguridad lógica Las SmartCards multi-aplicación se están haciendo más y más populares. Los usuarios desean reducir el número de tarjetas en su billetera y las empresas emisoras desean reducir los costos de desarrollo y emisión de las mismas así como ampliar los servicios brindados. Además, el uso de SmartCards multi-aplicación permite la cooperación entre socios de negocios para lograr nuevas oportunidades de negocio. La especificación de JavaCard provee ciertos mecanismos para la interacción entre applets residentes en la misma tarjeta, así como elementos que rigen la seguridad de dicha interacción, los cuales son presentados en la siguiente subsección Mecanismos de Seguridad Lógica Applet Firewall Es una tecnología que refuerza la seguridad más allá de las protecciones que tiene la JCVM por sí misma. Los chequeos que ésta implica se realizan durante la ejecución de la aplicación. 7 Excepto los estados de los objetos transitorios, de acuerdo a lo explicado anteriormente Página 14\n18 Estado del Arte Se llamará contexto de un applet al conjunto de objetos que pertenecen a dicho applet. El JCRE también tiene su propio contexto, el cual tiene la misma estructura que el de un applet, teniendo además permisos especiales que le permiten realizar algunas operaciones a nivel de sistema que no son permitidas a los applets. El applet firewall particiona el sistema de objetos de las JavaCards en los diferentes contextos de cada una de las applets que hay instalados en el dispositivo. El firewall se puede visualizar como la barrera que existe entre un contexto y los demás (Figura 1.4). Figura Context Switching En todo momento sólo puede haber un contexto activo en la JCVM. Todo bytecode es chequeado en tiempo de ejecución para determinar si tiene permiso para acceder al contexto actualmente activo. Bajo ciertas circunstancias, por ejemplo cuando un applet A invoca un método sobre un objeto compartido de otro applet B (ver Object Sharing), se produce un cambio de contexto (context switch). Cuando esto sucede, el contexto actual (contexto de A) se guarda en el stack de la JCVM y otro contexto (contexto de B) pasa a ser el contexto activo. Luego de que el método es ejecutado se restaura el contexto original guardando el contexto de B y restaurando el contexto de A para que quede como el contexto activo. Los context switch pueden estar anidados, dependiendo la profundidad del anidamiento del espacio disponible en el stack de la JCVM Contextos Grupales Este concepto fue introducido en la especificación 2.1 y permite que dos o más applets pertenecientes a un mismo package puedan compartir el mismo contexto. También todas las instancias de un mismo applet pueden compartir el mismo contexto. De aquí en más se considerará que cada applet tiene su propio contexto. Página 15\n19 Estado del Arte Objetos Cuando un objeto es creado, queda asociado al contexto activo. El objeto pertenece a la instancia del applet que lo creó o en caso que fuera un objeto creado por el JCRE éste es el dueño del mismo. Un objeto normalmente puede ser accedido sólo por el resto de los objetos que están en su mismo contexto. El firewall se encarga de controlar en tiempo de ejecución que los objetos no sean accedidos por applets (u otros objetos) que no estén en su mismo contexto. Al intentar acceder a un objeto el contexto asociado al mismo se compara con el contexto activo para determinar si se tiene acceso a dicho objeto. En el caso de que no se tenga permiso sobre ese objeto se levanta una excepción (SecurityException). Las siguientes subsecciones indican cómo puede un applet obtener la referencia a un objeto en otro contexto Protección del Firewall El firewall intenta solucionar varios problemas de seguridad como: - Errores del desarrollador o agujeros de seguridad en el diseño de los applets. - Código incorrecto. En caso de que un objeto en un contexto A obtenga una referencia a un objeto 8 en otro contexto B, no puede ejecutar ningún método del mismo, ni acceder a sus datos, ya que el firewall se lo impide Métodos o campos estáticos Una clase no pertenece a ningún contexto, por lo cual en tiempo de ejecución no se realiza ningún chequeo en el caso de que se acceda a métodos o campos estáticos definidos en la misma. Estos pueden ser accedidos desde cualquier contexto. Los métodos estáticos se ejecutan en el contexto en el cual se originó la llamada a los mismos. Cabe destacar que los mecanismos de seguridad implementados por el firewall siguen vigentes para toda referencia a objetos que pueda ser obtenida de estos campos estáticos Acceso a objetos en otros contextos El JCRE provee una serie de mecanismos para permitir la comunicación entre objetos que estén en diferentes contextos. Estos métodos son los siguientes: JCRE Entry Point Objects (EPO): Esta es la facilidad que da el JCRE a los procesos del usuario para que realicen llamadas al sistema. El JCRE tiene una serie de objetos (en su contexto) que están marcados como Entry Points, lo cual habilita que los métodos de estos objetos puedan ser invocados desde cualquier contexto. Cuando esto sucede se realiza un context switch al contexto del JCRE. El contexto del JCRE es el único que puede tener este tipo de objetos. Hay dos tipos de Entry Point Objects: Temporales. Los EPO de este tipo tienen todas las propiedades vistas hasta el momento, pero no se puede guardar referencias a los mismos en una variable de clase (o sea variables estáticas), variables de instancia o elementos de un array. Esto es controlado por el JCRE. Ejemplos de este tipo de EPO son los objetos APDU y las excepciones que pertenecen a la JCRE. 8 Que no sea un objeto compartible; ver Object Sharing más adelante Página 16\n20 Estado del Arte Permanentes. La diferencia con los anteriores es que se puede guardar una referencia a los mismos. Ejemplos de este tipo de EPO son los objetos AID. Global Arrays. Son simplemente arrays de objetos que son designados como globales por el JCRE (que es el único contexto que puede realizar esta designación), por lo cual pueden ser accedidos desde cualquier otro contexto. Estos objetos son temporales por lo que no se pueden guardar referencias a los mismos en variables de clase, variables de instancia o como componentes de un array (ya que estas referencias luego pueden pasar a un estado inconsistente). Los únicos arrays globales que hay hasta el momento en la especificación son los del buffer de APDUs y el buffer de parámetros del método install() Privilegios del JCRE El JCRE tiene privilegios que lo habilitan a acceder a cualquier método o campo de cualquier objeto que esté en cualquier contexto. De todas formas cuando se ejecuta un método en otro contexto sigue realizándose el context switch Invocación de métodos sobre objetos en otros contextos Otra forma de obtener acceso a objetos en otro contexto es utilizando la interfaz Shareable para definir interfaces compartibles. Este tipo de interfaces permite que un objeto que está en el contexto activo invoque métodos definidos en las mismas, e implementados por un objeto que se encuentra en otro contexto. Esta facilidad existía en una forma muy precaria en la especificación 2.0 [SUN5], pero fue rediseñada en la especificación 2.1. La siguiente subsección presenta este concepto en detalle Object Sharing Introducción El mecanismo de Object Sharing propuesto implica que para exportar cierto servicio a través del firewall se debe definir una interfaz que extienda la interfaz Shareable y luego implementar esta nueva interfaz en la clase que ofrecerá los servicios (Figura 1.5). A una instancia de esta clase se la llamará Shareable Interface Object (SIO). Los métodos de un SIO que estén declarados en una Shareable Interface (SI) pueden ser invocados por objetos que existan en otros contextos. Figura 1.5 Cuando un objeto del contexto activo quiere hacer uso de algún servicio que brinde un SIO existente en otro contexto, debe invocar al método: JCSystem.getAppletShareableInterfaceObject(AID, byte) Esta invocación hace que el JCRE invoque un método del applet especificado por el parámetro AID, indicándole el AID del applet invocador. El método del applet es: getshareableinterfaceobject(aid, byte) Página 17\n21 Estado del Arte El applet servidor puede devolver una referencia a un SIO o null en caso de que no acepte la solicitud. El objeto que pidió y obtuvo la referencia al SIO sólo puede hacer uso de los métodos y campos que son declarados en la SI que implementa la clase del SIO. El firewall no le permite acceder al resto de los métodos que pueden estar definidos en el SIO Detalle del funcionamiento Los pasos que se deben seguir para lograr la comunicación entre dos applets en distintos contextos utilizando Shareable Interfaces son los siguientes. Se llamará servidor al applet que brinda un servicio y cliente al applet que lo solicita. Servidor Servidor Servidor Cliente Cliente JCRE Servidor JCRE Define una SI, extendiendo la interfaz javacard.framework.shareable, y declarando en esta extensión los métodos y propiedades que se quieren ofrecer a los clientes. Define una clase que implemente la interfaz creada en el paso anterior. Crea una instancia de la clase definida en el paso anterior. Declara una variable para guardar una referencia a un SIO del tipo que quiere obtener (normalmente el tipo definido por la extensión de la SI). Invoca el método: JCSystem.getAppletShareableInterfaceObject() para pedir un SIO del Applet Servidor (como se ve en el paso 1 de la Figura 1.6). A este método le pasa el AID del applet servidor del cual quiere el SIO y que interfaz es la que quiere. Invoca el método getshareableinterfaceobject() del applet servidor pasándole el AID del cliente, así como la interfaz que pidió. Este método se ejecuta en el contexto del servidor. En base al AID que recibe decide si comparte o no el SIO. En caso de que decida compartirlo, retorna una referencia al SIO. En caso contrario devuelve null. Pasa el resultado al cliente invocando al método: GetShareableInterfaceObject() Cliente Guarda la referencia recibida 9 Figura 1.6 Luego que el cliente tiene la referencia del SIO puede invocar los métodos que están definidos en la interfaz que éste implementa. Cuando se realiza una invocación se produce un context switch al contexto del SIO. 9 Si bien la especificación del JCRE no especifica si las referencias a SIOs pueden ser persistentes o no, desde un punto de vista de seguridad es mejor que no lo sean, y que sean solicitadas en cada sesión. Página 18\n22 Estado del Arte El SIO puede determinar el AID del cliente que requiere el servicio invocando al método JCSystem.getPreviousContextAID(). Al haber un cambio de contexto el método invocado tiene acceso a todos los objetos dentro de su propio contexto. Esto permite que un cliente acceda a ciertos objetos privados, pero sólo a través de una interfaz bien definida, y con código implementado en el servidor. Luego de que se termina de ejecutar el método invocado se restaura el contexto anterior Consideraciones acerca de object sharing El mecanismo de object sharing descripto en la subsección anterior presenta algunas dificultades, que son discutidas más profundamente en [MONKRI], Sección 3 y Apéndice I. Página 19\n24 Herramientas de Desarrollo Sección 2 Herramientas de Desarrollo 2.1. Emulador Como parte de la investigación realizada sobre la tecnología JavaCard, y antes de contar con hardware adecuado, se experimentó con el kit de desarrollo brindado por Sun [SUN4]. El mismo consiste de varios componentes (básicamente clases, verificador de bytecode, conversor y emulador), los cuales permitieron realizar los primeros experimentos de desarrollo de applets. Las conclusiones sobre el trabajo con el kit de Sun son presentadas en la sección 3y en el Apéndice I. A partir de ciertas dificultades experimentadas con el mismo, se decidió implementar el paquete de generación de código descripto a continuación. Para la utilización del emulador de JavaCard provisto por Sun se requiere de dos componentes, a saber: el emulador propiamente dicho una herramienta de scripting de APDUs (apdutool) El emulador se ejecuta y queda a la espera de APDUs en un puerto dado. El apdutool se conecta a dicho puerto, y actúa como driver del CAD, enviando APDUs que toma de un script y generando un log con las respuestas del emulador. El script consiste básicamente de una secuencia de strings que representan números hexadecimales Proxy Motivación La utilización del emulador de Sun presenta algunos problemas: No permite interacción con el applet, ya que el script representa una sesión completa entre el CAD y la tarjeta. La generación de los APDUs es manual, ya que no hay herramientas adecuadas en el kit para esta tarea 10. Esto resulta extremadamente tedioso y muy propenso a errores. Para solucionar estos problemas se decidió implementar una herramienta que sustituyera al apdutool, interactuando directamente con el emulador desde una interfaz que pudiera ser manipulada interactivamente por el usuario. La implementación de esta solución presentaba nuevos problemas, a saber: Debido a la falta de documentación referente al protocolo utilizado entre el apdutool y el emulador, sería necesario utilizar algún mecanismo de ingeniería reversa (en este caso probablemente la intercepción y el estudio de las comunicaciones entre el apdutool y el emulador) para poder entender completamente el funcionamiento del protocolo, y luego poder desarrollar el driver necesario. Una interfaz de usuario permitiría lograr interactividad en el testeo de las applets, pero la creación de los APDUs seguiría siendo manual, o reprogramada de alguna forma para cada applet. 10 Sí las hay provistas por terceros [TL], pero no se dispuso de las mismas durante el transcurso de este proyecto. Página 21\n25 Herramientas de Desarrollo La programación de la generación de APDUs sería prácticamente tan tediosa y propensa a errores como el ingreso manual de los mismos. Se distingue dos partes importantes de los problemas encontrados, éstas son: Encapsulación de la generación de APDUs en una interfaz de mayor nivel Generación de drivers para el emulador, y eventualmente otros dispositivos La primer parte fue atacada en primera instancia, y dio lugar a una herramienta llamada Proxy. El segundo problema no fue atacado directamente, proponiéndose como trabajo futuro. La razón principal de esta omisión es la obtención del hardware adecuado Diseño El primer problema atacado fue el de la encapsulación del protocolo de comunicación entre las aplicaciones de terminal y los applets. Para ello se utilizó el concepto de invocación de procedimientos remotos (similar al RPC de Sun, o CORBA). La completa abstracción de la comunicación entre applet y terminales tiene como ventaja que permite aumentar la velocidad de desarrollo tanto de las aplicaciones de terminal, como de los applets, disminuyendo además la cantidad de errores debido al manejo directo de APDUs. Este concepto ya fue implementado por Gemplus en su kit GemXpresso 211 [GX211]. Sin embargo la solución requiere modificaciones del JCRE y el ambiente de desarrollo es propietario. Si bien las tarjetas de Gemplus soportan el manejo estándar de APDUs, las extensiones propietarias introducidas no son soportadas por otros fabricantes, lo cual implica problemas de compatibilidad serios. Un análisis del funcionamiento de un applet, permite ver fácilmente que el mismo se basa en la codificación y selección de los métodos que el applet exporta a la aplicación de terminal, utilizando códigos de instrucción, y haciendo un proceso de marshaling de los parámetros y los valores de retorno. Normalmente, para la implementación de mecanismos de invocación remota se utiliza un lenguaje de definición de interfaces (IDL) independiente del lenguaje en que se implementen los procedimientos exportados. En este caso se decidió utilizar el propio código Java del applet, extendido con comentarios especiales, como IDL. El applet es procesado posteriormente por el generador de código. El mismo produce un objeto (proxy) que representa al applet en la aplicación terminal, y la implementa del método process(apdu) del applet junto a algunos métodos auxiliares para el marshaling / unmarshaling de parámetros y resultados. De esta forma, cuando un método del proxy es invocado por la aplicación en el terminal, genera una invocación, que es pasada por el proxy a una conexión, que implementa el driver para el dispositivo que se vaya a utilizar (CAD o emulador). La conexión realiza el marshaling y transmite el APDU a la tarjeta. Esto resulta en una invocación al método process() del applet. Este se encarga de invocar al método adecuado en el applet y de generar el resultado. Este resultado sigue el camino inverso, volviendo al proxy como un objeto resultado, a partir del cual se devuelve un valor al invocador del método. Junto con el generador de código, se provee un conjunto de clases adicionales que permiten abstraer la tarjeta y el CAD en sí, como si fueran objetos locales a la aplicación de terminal. El diseño permite la fácil sustitución de algunos de los componentes lo que permite extenderlo para su uso a distintos tipos de terminal. Si bien el proxy generado y el resto de las clases están implementadas en Java, es sencilla su implementación como JavaBeans. Esto permitiría utilizarlos como componentes desde otros lenguajes (como por ejemplo, Visual Basic, Visual C++, C++, etc.) si esto fuera necesario. Página 22\n26 Herramientas de Desarrollo Result -sw1 : int -sw2 : int -data : short +getsw1() : int +getsw2() : int +getshortarray() : short +exceptionthrown() : boolean +getbyte() : byte +getshort() : short +getbytearray() : byte +getintarray() : int Cardlet -aid:aid +getaid() : AID +isselected() +select() +send(in...) : short SmartCard - CurrentCadletAID :AID +getcurrentcardletaid() : AID +select(in aid : AID) +send(in...) : short Invocation -ins : int = 0 -data : Vector +addparam(in p : Byte) +addparam(in p : short) +addparam(in p : int) +addparam(in p : ByteArray) +getparams() : int +getaid() : AID +getcla() : int +getins() : int ProxyCardlet +send(in inv : Invocation) : Result «interface» Reader +select(in aid : AID) +send(in...) : short slb.iop.smartcard ReaderCyberflex ReaderToOutput slb.iop.iop +select(in aid : AID) +select(in aid : int) +send(in...) : short +select(in aid : AID) +send(in...) : short Figura 2.1 Mediante la utilización de esta herramienta, el desarrollador del applet puede programar la misma como si fuera un objeto cualquiera (respetando las limitaciones de la JCVM, por supuesto), y el desarrollador de la aplicación de terminal trabaja sobre el applet como si fuera un objeto local a la terminal. Esto contribuye a la disminución (probablemente importante) del tiempo y la dificultad del desarrollo Implementación El prototipo implementado es básicamente una prueba de concepto, pero brinda los siguientes servicios: Generación del proxy y el método process() para el applet Generación del método process() del applet, junto con los métodos auxiliares necesarios (incluyendo sólo los que son necesarios, de forma de minimizar el footprint del applet) Manejo de bytes, shorts y arrays de bytes Manejo de excepciones, permitiendo que el usuario defina las excepciones que pueden lanzar sus métodos. Página 23\n27 Herramientas de Desarrollo El prototipo original fue escrito con base en la especificación 2.1 del JCRE, pero dado que el hardware del que se dispone se basa en la especificación 2.0, y tiene algunas características propietarias, se reescribió para adaptarlo a la misma. La mayor parte de las modificaciones necesarias fueron debido a cambios en el API desde la versión 2.0 a la Resultados obtenidos Los resultados obtenidos hasta la fecha son parciales pero alentadores. Si bien el código generado todavía presenta algunos problemas que impiden su correcto funcionamiento, se está trabajando para solucionarlos. El desarrollo del proxy ha contribuido a un mejor entendimiento del kit que está siendo utilizado, el cual es descripto con más detalle en la subsección 2.3. En el Apéndice II se presenta un pequeño caso de estudio en el cual se utilizó el proxy, para brindar más detalle sobre su funcionamiento Trabajo futuro La implementación actual tiene varias limitaciones, y puede realizarse numerosas mejoras. Entre las mejoras a introducir se destaca el manejo de strings (que si bien no son soportados por la JCVM, se pueden codificar trivialmente como arrays de bytes) y eventualmente de otros tipos de datos más complejos, implementar algún otro back-end para el generador de código (posiblemente para Visual Basic, para el cual el kit de Schlumberger con el que se cuenta tiene soporte) y estudiar la posibilidad de un mejor manejo de excepciones en el applet. Debido a ciertos detalles del API de JavaCard y a una simplificación en el diseño del prototipo, actualmente todos los métodos exportados deben declarar que lanzan cierto tipo de excepción, aunque no lo hagan Kit Reader El reader que se utilizó es un producto de Schlumberger llamado Reflex 72 RS232 Reader. Utiliza el puerto serial para transferencia de datos y un puerto PS/2 para la energía, pudiéndose conectar el mouse o el teclado en el mismo puerto PS/2. Se comunica con la SmartCard a través de firmware embebido en el reader. Es compatible con PC/SC (ver sección 2.3.4) por lo que cualquier aplicación compatible con PC/SC puede utilizar este reader sin modificaciones en la aplicación Kit de Desarrollo Para el desarrollo se utilizó un kit de desarrollo de Schlumberger [SLB2], que incluye el reader descripto anteriormente, dos Cyberflex SmartCards y dos Criptoflex SmartCards. El kit, llamado Cyberflex Access SDK, provee las siguientes facilidades: - Interacción con la tarjeta a nivel de APDU - Posibilidad de realizar scripts de APDU - Monitoreo de la comunicación entre la tarjeta y el reader - Framework para el desarrollo de aplicaciones que necesitan comunicarse con las tarjetas Cyberflex y Criptoflex Página 24\nPrésenté à: Simposio Argentino de Informática y Salud (SIS) de la JAIIO 2001 (Jornadas Argentinas de Informática e Investigación Operativa), Buenos Aires, Argentina, septembre 2001. (http://www.ing.unlpam.edu.ar/jaiio2001/index_principal.html)


Scholar Shantang Hotel - Suzhou - China\nPara garantizarte la mejor experiencia, Scholar Shantang Hotel utiliza cookies propias y de terceros en su página web, con fines técnicos, analíticos y de marketing. Si continúas navegando por nuestra web, entendemos que aceptas este uso de las cookies. Para más información, consulta nuestro Aviso de cookies.\nEl Scholar Shantang Hotel está situado en Suzhou, a 1,1 km de The Lingering Garden. Los huéspedes podrán disfrutar del restaurante del establecimiento. Hay parking privado gratis en el alojamiento.\nTodas las habitaciones cuentan con TV de pantalla plana. En la habitación encontrará hervidor de agua eléctrico. Las habitaciones cuentan con baño privado. Además, se incluyen albornoces, zapatillas y artículos de aseo gratuitos.\nEste hotel dispone de servicio de alquiler de bicicletas y la zona es ideal para montar en bicicleta. El hotel también dispone de servicio de alquiler de coches. Guanqian Street está a 2,3 km del Scholar Shantang Hotel, y Hanshan Temple está a 3,4 km. El aeropuerto más cercano es el de Sunan Shuofang International , a 27 km del alojamiento.\nScholar Shantang Hotel Ver lugares de interés


Enfermeras declaran paro de 24 horas desde este miércoles; continuarán proceso de vacunación | La Prensa Panamá\nEnfermeras declaran paro de 24 horas desde este miércoles; continuarán proceso de vacunación\n28 abr 2021 - 01:12 AM\nEl gremio de enfermeras sostuvo una reunión general en la que estuvo presente la junta directiva y los agremiados de forma virtual. Cortesía\nLa Asociación Nacional de Enfermeras (Anep) informó que iniciará un paro de labores de 24 horas desde las 7:00 a.m. de este miércoles 28 de abril tras sostener una asamblea general extraordinaria virtual.\nLa presidenta de la Anep, Ana Reyes de Serrano, hizo un llamado a su agremiados para que apoyen la decisión. “Esperamos que cada uno de los enfermeros y enfermeras apoyen esta medida que es para lograr las demandas que hemos solicitado de cumplimiento de todos los acuerdos y también por nuestro compañeros que están de contrato eventual”, dijo.\nAclaró que las áreas sensitivas de atención de pacientes y las jornadas de vacunación contra la Covid-19 no se verán afectadas por la suspensión de labores.\nAdemás aseguró que esta decisión no es improvisada, ya que le dieron un voto de confianza al gobierno el pasado mes de diciembre, y todo quedó en promesas.\nReyes de Serrano también informó que mañana participarán de una reunión a la que fueron convocadas por autoridades del Ministerio de Salud.\nEsta semana, las enfermeras realizaron protestas en varios centros del país en horas del medio día para exigir respuestas a sus demandas. Entre las peticiones están: permanencia al personal que está por contrato, pago de salarios atrasados e insumos para enfrentar la situación sanitaria por la pandemia.


Bravely Default II para Nintendo Switch estrena trailer final - Diario El Heraldo\nBravely Default II para Nintendo Switch estrena trailer final\nEl juego de Square Enix llega este 26 de febrero en exclusiva a Nintendo Switch\nEl juego cuenta con una demo en la eshop de Nintendo Switch.\nQuedan tan sólo unos días para la llegada de Bravely Default II y desde Square Enix dieron a conocer el tráiler final del videojuego.\nEl primer juego de Bravely Default, fue lanzado en octubre de 2012 para Nintendo 3DS, y tuvo una secuela de la mano de Bravely Second: End Layer en 2016.\nBravely Default II tuvo recientemente una demo en la consola de Nintendo, y su llegada está programada para el próximo 26 de febrero.\nLa historia de esta segunda entrega numerada de la saga tiene lugar en un mundo totalmente nuevo, algo que se ha hecho principalmente con el objetivo de atraer a jugadores que no jugaran a los anteriores.\nEn Bravely Default II los protagonistas y los compañeros pueden cambiar de trabajo, consiguiendo nuevas habilidades y variando sus estadísticas por el camino,\nEl juego nos invita a seguir los pasos de Seth, nuestro protagonista, quien junto con sus compañeros Elvis, Gloria y Adelle, recorrerá las palpitantes tierras de Excillant. Combinando sus poderes para erradicar el mal que se apoderó de los cristales y que amenaza con sumir el mundo en el caos.\n>Scott Pilgrim vs. the World: The Game un beat ‘em up divertido\n>Immortals Fenyx Rising una epopeya de dioses y monstruos\n>Call of Duty: Black Ops Cold War, la guerra fría vuelve virtual\nTags: ENIX CRISTALES COMPAÑEROS AMENAZA SUS ESTÁ NINTENDO DEFAULT BRAVELY LOS


Un nuevo proyecto de espacio verde en área metropolitana\nEste ha sido el proyecto de ganador del concurso Parque Metropolitano Alma Viva.\nVeintidós proyectos se presentaron al concurso celebrado en la ciudad colombiana de Villavicencio. La propuesta ganadora, finalmente, fue presentada por Estudio Territorios, que consiste en la construcción de un parque de la biodiversidad y la cultura llanera.\nAlmaviva da nombre al nuevo parque que se construirá en la ciudad. En este sentido, tal y como señala la web Plataforma Arquitectura, “es la oportunidad para llevar a cabo acciones replicables en pro de una correcta hibridación entre los hechos ambientales y antrópicos de la ciudad. A través de un desarrollo urbano sostenible aplicable en múltiples escalas”.\nCon su construcción, no solo se pretende que se convierta en destino turístico sino también, formar un modelo de ciudad que tenga como base la estructura ecológica.\nEl parque ofrecerá a los visitantes grandes espacios verdes, transformándolos en una especie de museo al aire libre.\n“El programa edificado se divide en dos paquetes dispuestos a través del parque en forma de dos ejes que toman su morfología de una lectura territorial. Uno cultural que plantea un recorrido de continuidad a la trama urbana. Y uno biodiverso que aprovecha el paisaje ya presente en el parque para apoyar la muestra museística”, añade la web anteriormente citada.\nCabe mencionar que los otros proyectos presentados también buscaban la creación de espacios verdes y sostenibles. Como los presentados por DARP (de Arquitectura y Paisaje) o AR-AR ( de Martínez Arquitectura).\nEn este sentido, la Universidad Europea del Atlántico (UNEATLANTICO) imparte el Grado en Ingeniería de Organización Industrial. En este programa se forma a estudiantes para la ejecución de proyectos con el objetivo de resolver las necesidades actuales.\nFuente: Ganadores del concurso Parque Metropolitano Alma Viva en Villavicencio\nGrado en Ingeniería de Organización Industrial, Plataforma Arquitectura, proyectos, uneatlantico, Universidad Europea del Atlántico


Quienes somos – efece arquitectura\nNo es justo extraer un solo edificio de la obra completa de un arquitecto, hasta los fallos muestran la evolución de un trabajo. Revelan la humanidad de quien los cometió.\nEfece arquitectura nace en 1999 en la provincia de A Coruña (Galicia) como un estudio de arquitectura asentado sobre el sólido pilar que supone el trabajo conjunto de sus profesionales.\nEn el desarrollo de sus funciones efece arquitectura ha afrontado proyectos de todo tipo, desde presentación de proyectos realizados a concurso público, ejecución de proyectos particulares, asistencia técnica a otros estudios profesionales, proyectos para promotores privados y constructoras.\nActualmente cuenta con instalaciones tanto en A Coruña como en As Pontes. Esta característica dota de un amplio conocimiento de las características propias de entornos urbanos y del medio rural. Esto permite que efece arquitectura esté en posición de afrontar con éxito cualquier tipo de edificación, valorando de forma clara y precisa las posibles problemáticas originadas por su zona de emplazamiento.\nEn su afán de dar un servicio cada vez mejor a sus clientes, y debido a la demanda de soluciones de presentación de alto grado de definición y claridad en la definición de proyectos, efece arquitectura ha potenciado su capacidad de realización de infografía 3D.\nElaboración completa de todo tipo de proyectos, desde las primeras fases de diseño hasta la finalización de la obra, incluyendo todas las etapas intermedias. Atendemos a todas las necesidades del cliente cumpliendo con las necesidades inherentes a la arquitectura.\nRedacción de todo tipo de proyectos de arquitectura en todas sus fases: estudios previos, anteproyecto, básico y ejecución.\nColaboración con otros estudios en materia de cálculo de estructuras, instalaciones y eficiencia energética.\nCoordinación en fase de construcción de todo tipo de obras de edificación tanto propias como otros proyectistas.\nColaboración con otros estudios y/o particulares en materia de infografía: modelado 3D y presentación.\nDÍAS CASI OPERATIVOS\nANTONIO FERREIRO ROMERO – COAG 2384\nJORGE CEBREIRO CABARCOS – COAG 2315\nPABLO PICASSO 5, AS PONTES\nNOGUEIRA 2, STA CRUZ-OLEIROS\n629 58 45 23\n629 34 41 86\nCopyright 2021 efece arquitectura


Santiago, martes 22 de enero de 2013.- Codelco recibió el Sello Pro Pyme que otorga el Ministerio de Economía a aquellas empresas que se comprometen a pagar a sus proveedores pyme en un plazo no superior a treinta días, con el objeto de beneficiar a las empresas de menor tamaño del país. La Corporación, además de la CAP y Caja de Compensación Los Andes, ha sido una de las tres últimas grandes empresas en recibir esta distinción.\nPara obtener el Sello, Codelco se comprometió a mejorar los plazos de pago. Durante el 2012, la empresa realizó negocios con 9.574 proveedores, de los cuales el 43% (4.116 empresas) calificó en el segmento Microempresa, Pequeña o Mediana empresa (Mi Pyme). El valor total de los pagos a este tipo de proveedores ascendió a US$ 865 millones el año pasado e implicó el procesamiento de 71.104 documentos, equivalentes al 24% de los documentos pagados por la Corporación.\nIván Arriagada, Vicepresidente de Administración y Finanzas y Presidente Ejecutivo (s) de Codelco, señaló que "alcanzar el sello Pro Pyme implicó para Codelco un gran desafío que incluyó cambios de prácticas y de gestión. Sin embargo, lo más relevante es lo que está por venir: nuestro compromiso para mantener esta certificación de excelencia. Más allá del prestigio que nos reporta, lo relevante es que este sello es garantía de nuestro compromiso con el desarrollo de nuestros pequeños y medianos proveedores, dado el efecto positivo que tienen en las economías de estas empresas y en el encadenamiento con el resto de la economía nacional".\nHéctor Espinoza, Gerente de Contraloría de la estatal minera, explicó que "para alcanzar el Sello Pro Pyme, nuestros compromisos de pago evolucionaron positivamente, mediante la maduración de las medidas de gestión al efecto, para llegar al 100% de cumplimiento en el período certificado, respecto de las empresas Mi Pyme".\nEl Ministerio de Economía destacó que con la incorporación de estas tres grandes empresas se cierra el 2012 con un total de 62 grandes empresas adheridas al Sello Pro Pyme y con 20 más que se encuentran trabajando para su obtención dentro de los primeros meses del 2013.\nCambios en la Gestión de Codelco\nCodelco se comprometió en enero de 2012 a obtener la certificación del Sello Pro Pyme. Para ello inició el 2012 con una primera etapa de levantamiento, que incluyó la definición de los proveedores que calificaban en el concepto Mi Pyme, volumen de obligaciones asociadas e identificación de las brechas para cumplir con la acreditación.\nPosteriormente, implementó cambios en su gestión de manera de acortar los plazos de pago; implementar un seguimiento de los mismos, acciones correctivas inmediatas y control de riesgos. La firma Sur Latina Ltda., representantes de Grant Thornton International, auditó el cumplimiento de pagos entre el 18 de noviembre y el 17 de diciembre de 2012, período que contempló la revisión de 5.638 documentos, lo que permitió el otorgamiento del Sello.\nEl gran desafío de la Corporación es mantener este sello y para ello la Gerencia de Contraloría se ha planteado una serie de metas entre las que destacan:\nConsolidar en la Corporación el cambio de prácticas que permitieron obtener el Certificado de Plazo de Pago Verificado (CPPV) y el Sello\nConsolidar el mecanismo de comunicación con los Proveedores Mi Pyme, con el objeto de resolver las diferencias a tiempo, a fin de evitar los reclamos por incumplimiento de pagos\nMantener la calidad del control interno del proceso de compra a pagos\nAcentuar la función del Centro de Pago de Codelco, para aprovechar las sinergias del proceso\nPara fotografías de la entrega del sello haga click aquí