METODOLOGêA DE MODELACIîN DE POLêTICAS DE SEGURIDAD UTILIZANDO REDES DE PETRI COLOREADAS Y LîGICA DE PRIMER ORDEN

METODOLOGêA DE MODELACIîN DE POLêTICAS DE SEGURIDAD UTILIZANDO REDES DE PETRI COLOREADAS Y LîGICA DE PRIMER ORDENEn la medida que evolucionan las tecnologas de informacin, se incrementa la necesidad de plantear esquemas claros de proteccin sobre la informacin y dems recursos crticos de las instituciones. Es por eso que el inters principal de este libro se centra en el desarrollo de una metodologa que permita garantizar que una poltica de seguridad sea consistente a la hora de crear, modificar o de eliminar una parte o regla de la misma, evitando que no existan

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.