PROTECCIN BASADA EN EL LENGUAJE

La proteccin que se ofrece en los sistemas de computacin existentes casi siempre se ha logrado con la ayuda del ncleo de un sistema operativo, que acta como agente de seguridad que inspecciona y valida cada intento por acceder a un recurso protegido

Puesto que la validacin de todos los accesos puede dar pie a un gasto extra considerable, debemos apoyarla con hardware para reducir el costo de cada validacin o bien debemos aceptar que el diseador del sistema podra inclinarse por sacrificar los objetivos de la proteccin.

La proteccin ya no puede considerarse como un asunto que slo concierne al diseador de un sistema operativo; tambin debe estar disponible como herramienta que el diseador de aplicaciones pueda usar para proteger los recursos de un subsistema de aplicacin contra intervenciones o errores.

Aqu es donde los lenguajes de programacin entran en escena. Especificar el control de acceso deseado a un recurso compartido en un sistema es hacer una declaracin acerca del recurso. Este tipo de declaracin se puede integrar en un lenguaje mediante una extensin de su mecanismo de tipificacin. Si se declara la proteccin junto con la tipificacin de los datos, el diseado de cada subsistema puede especificar sus necesidades.

Ventajas de declarar la proteccin junto con la tipificacin de los datos:

Las necesidades de proteccin se declaran sencillamente y no llamando procedimientos del SO. Las necesidades de proteccin pueden expresarse independientemente de los recursos que ofrece el SO. El diseador no debe proporcionar mecanismos para hacer cumplir la proteccin. Los privilegios de acceso estn ntimamente relacionados con el tipo de datos que se declara.

En sntesis, la especificacin de la proteccin en un lenguaje de programacin permite describir un alto nivel de polticas de asignacin y uso de recursos.

Proteccin de Java

Como java fue diseado para ejecutarse en un entorno distribuido la maquina virtual de java tiene muchos mecanismos de proteccin integrados. Los programas java estn compuestos por clases, cada una de las cuales es una coleccin de campos de datos y funciones (denominadas mtodos) que operan sobre esos campos.

Una de las caractersticas mas novedosas y tiles de java es su soporte para cargar dinmicamente clases que no sean de confianza a travs de una red y para ejecutar clases que desconfan mutuamente una de otra dentro de una misma Java Virtual Machine (Maquina Virtual de Java).

La proteccin la maneja la mquina virtual (JVM) La JVM asigna un dominio de proteccin a una clase cuando la carga. El dominio de proteccin indica qu operaciones puede (y no puede) realizar la clase. Si se invoca un mtodo de biblioteca y ste realiza una operacin privilegiada, se examina el stack para asegurar que la biblioteca pueda

Inspeccin del Stack