Diseño Y Aplicaciones de Sistemas Distribuidos. Seguridad en Java. Joan Vila

Transcripción

1 Diseño Y Aplicaciones de Sistemas Distribuidos Seguridad en Java Joan Vila DISCA / UPV Departament d Informàtica de Sistemes i Computadors Universitat Politècnica de València

2 Seguridad en Java Modelo de seguridad de la plataforma JDK

3 Seguridad en Java Modelo de seguridad de la plataforma JDK

4 Seguridad en Java Modelo de seguridad de la plataforma JDK

5 Seguridad en Java Modelo de seguridad de la plataforma JDK 1.2 Todo el código (independientemente de si es local o remoto) está sujeto a una política de seguridad. Una política de seguridad define un conjunto de permisos diponibles para código según sea: Su URL de origen Su firma El soporte de ejecución organiza el código en dominios cada uno de los cuales agrupa una serie de clases cuyas instancias son concedidas dichos permisos. Los permisos por defecto son equivalentes a los de la plataforma 1.1 y se definen en el fichero:... /jre/lib/security/java.policy 134

6 Seguridad en Java Modelo de seguridad de la plataforma JDK 1.2 Se pueden añadir nuevas políticas de seguridad: Mediante parámetros para la máquina virtual: $ java -Djava.security.policy=C:/ajava.policy Mediante una nueva entrada en /jre/lib/security/java.security policy.url.1=file:${java.home}/lib/security/java.policy policy.url.2=file:${user.home}/.java.policy policy.url.3=file:c:/ajava.policy Ejemplo de fichero java.policy con permisos de seguridad: grant codebase jar: { permission java.net.socketpermission localhost: ", "connect,accept"; permission java.io.filepermission "d:\\java\\codebase\\-", "read"; }; 135

7 Seguridad en Java Clases Java para seguridad java.lang.securitymanager: permite desarrollar aplicaciones que implementan una determinada política de seguridad. java.security: Define clases relacionadas con permisos y políticas Proporciona soporte para firmas digitales, incluyendo implementaciones de: Algoritmos de resumen MD5 (RFC1321) y SHA-1 Certificados en diversos formatos. En particular soporta certificados X.509 Factoría de certificados: utilizada para generar certificados y listas de revocación de certificados. Extensiones Java para seguridad El JCE (Java Criptography Extensions) amplía el JDK con clases para algoritmos de cifrado, intercambio de claves y autentificación de mensajes. KeyStore: proporciona interfaces bien definidas para acceder la información de un almacén de firmas. Interfaces a especificación de claves,

8 Seguridad en Java Aplicaciones Java para seguridad Son herramientas escritas en Java para controlar la seguridad. policytool: permite crear y modificar los ficheros que definen las políticas de una determinada aplicación. keytool: permite crear pares de claves públicas y privadas, importar y visualizar cadenas de certificados, exportar certificados, generar certificados autofirmados X.509v1, generar peticiones para ser enviadas a autoridades de certificación. jarsigner: permite firmar ficheros JAR y verificar la autenticidad de la firma. 137

9 Aplicaciones Java para seguridad Herramienta policytool 138

10 Aplicaciones Java para seguridad Herramienta policytool 139

11 Aplicaciones Java para seguridad Herramienta policytool 140

12 Ficheros JAR Características archivos JAR Los archivos JAR permiten empaquetar en un único fichero las aplicaciones Java: ficheros.class y recursos auxiliares. Se utiliza típicamente para applets. Seguridad: se pueden firmar digitalmente. Los receptores puede otorgar privilegios de ejecución si reconocen la firma. Compresión: permite ahorrar espacio. Mejora tiempo de descarga: sólo requieren una interacción HTTP. Empaquetamiento de extensiones: las extensiones son una forma de ampliar la funcionalidad de la plataforma Java. Por ej. Java-3D, Java-Mail Sellado de paquetes: se obliga a las aplicaciones a utilizar las clases definidas en el paquete (asegurar consistencia de versiones). Meta-información: incorporan un fichero de manifiesto en el que, ademas de la información sobre ficheros contenidos, figura información sobre vendedor, versión, etc. Portabilidad: el mecanismo JAR es estándar de la plataforma Java. 141

13 Ficheros JAR Manejo de ficheros JAR To create a JAR file To view the contents of a JAR file To extract the contents of a JAR file To extract specific files from a JAR file To run an application packaged as a JAR file (version 1.1) To run an application packaged as a JAR file (version requires manifest header) To invoke an applet packaged as a JAR file jar cf jar-file input-file(s) jar tf jar-file jar xf jar-file jar xf jar-file archived-file(s) jre -cp app.jar MainClass java -jar app.jar <applet code=appletclassname.class archive="jarfilename.jar" width=width height=height> </applet> 142

14 Intercambio de JAR firmados Pasos a seguir por el que genera el JAR 143

15 Intercambio de JAR firmados Pasos a seguir por el que genera el JAR 1.- Crear un fichero JAR que contenga un contrato con jar jar cvf Contract.jar contract Contract es un fichero ASCII con los términos del contrato legal. 2.- Generar las claves con keytool keytool genkey alias signlegal keystore stanstore Pregunta la id. del firmante, la clave privada y un passwd para el almacen de claves Genera un certificado signlegal autofirmado con la identidad y un par de claves pública/privada Almacena almacén de claves stanstore con un passwd 3.- Firmar el fichero jar con jarsigner jarsigner keystore stanstore signedjar scontract.jar Contract.jar signlegal 4.- Exportar el certificado con la clave pública con keytool keytool -export -keystore stanstore -alias signlegal -file StanSmith.cer Genera (desde stanstore)un certificado con la clave pública para enviárlo al receptor 144

16 Intercambio de JAR firmados Opciones de jarsigner -keystore url -storepass password -keypass password -sigfile file -signedjar file Specifies a keystore to be used if you don't want to use the.keystore default database. Allows you to enter the keystore's password on the command line rather than be prompted for it. Allows you to enter your alias's password on the command line rather than be prompted for it. Specifies the base name for the.sf and.dsa files if you don't want the base name to be taken from your alias. file must be composed only of upper case letters (A-Z), numerals (0-9), hyphen (-), and underscore (_). Specifies the name of the signed JAR file to be generated if you don't want the original unsigned file to be overwritten with the signed file. 145

17 Intercambio de JAR firmados Formato de un JAR firmado Cuando se genera un JAR firmado: Cada fichero del archivo se le da una entrada resumen (digest) en el fichero de manifiesto: META-INF/MANIFEST.MF Name: test/classes/classone.class SHA1-Digest: TD1GZt8G11dXY2p4olSZPc5Rj64= Se genera un fichero de firma: META-INF/fichero.SF Signature-Version: 1.0 SHA1-Digest-Manifest: h1ys+k9t7dyhtzrti+lxvgqamym= Created-By: SignatureFile JDK 1.2 Name: test/classes/classone.class SHA1-Digest: fcav7shig6i86xpepmitovo4vwy= Name: test/classes/classtwo.class SHA1-Digest: xrqem9snnphlysdizyclmlsfdtm= Adicionalmente, se genera un fichero de bloque de firma con la firma digital del JAR creada con la clave privada y el certificado con la clave pública. 146

18 Intercambio de JAR firmados Pasos a seguir por el que recibe el JAR 147

19 Intercambio de JAR firmados Pasos a seguir por el que recibe el JAR 1.- Importar el certificado y declararlo confiable utilizando keytool keytool -import -alias stan -file StanSmith.cer -keystore ruthstore keytool -printcert -file StanSmith.cer 2.- Verificar la firma del JAR utilizando jarsigner jarsigner -verify -verbose -keystore ruthstore scontract.jar 183 Fri Jul 31 10:49:54 PDT 1998 META-INF/SIGNLEGAL.SF 1542 Fri Jul 31 10:49:54 PDT 1998 META-INF/SIGNLEGAL.DSA smk 0 Fri Jul 31 10:49:18 PDT 1998 META-INF/ 1147 Wed Jul 29 16:06:12 PDT 1998 contract s = signature was verified m = entry is listed in manifest k = at least one certificate was found in keystore i = at least one certificate was found in identity scope jar verified. 148