En la medida que evolucionan las tecnolog’as de informaci—n, se incrementa la necesidad de plantear esquemas claros de protecci—n sobre la informaci—n y dem‡s recursos cr’ticos de las instituciones.
Es por eso que el interŽs principal de este libro se centra en el desarrollo de una metodolog’a que permita garantizar que una pol’tica de seguridad sea consistente a la hora de crear, modificar o de eliminar una parte o regla de la misma, evitando que no existan contradicciones en las pol’ticas de seguridad, validando su consistencia cada vez que la misma sea modificada.
El objetivo es proponer al lector, una metodolog’a hibrida que ha tomado de los modelos l—gicos su propiedad inherente para garantizar consistencia y de las Redes de Petri coloreadas para una representaci—n m‡s amigable, representando de una manera gr‡fica el proceso de verificaci—n de las pol’ticas de seguridad.