Diseño de un modelo de máquina de estado para resolver conflictos de intereses en Seguridad informática

A menos que te refieras a algo muy específico por "modelo de máquina de estado", no hay ninguna razón por la que no puedas modelar el conflicto de intereses usando una máquina de estado. La Muralla China en sí misma se puede representar fácilmente como una máquina de estado, siguiendo el enfoque tradicional de BLP:

• un conjunto de accesos actuales define un estado, una función que asocia cada objeto a un conjunto de datos de la empresa y una función que asocia cada conjunto de datos de la empresa a una clase de conflicto de intereses.
• La función de transición toma un estado y un acceso, y si la solicitud de acceso no está en conflicto con un acceso actual, se agrega, de lo contrario, se deniega el acceso.

Ravi Sandhu en realidad propuso una aplicación del modelo de la Muralla China utilizando un modelo basado en celosía , y parte de mi trabajo de doctorado fue definir algún modelo general de máquina de estado para sistemas de control de acceso, incluido el Muro Chino. La sección 3.2 de este documento puede darle una definición formal de la CW utilizando una máquina de estado.

Espero que eso ayude, y puedo traer más aclaraciones si lo deseo.

¿Es la resolución de conflictos de intereses un problema computable? ¿Podemos incluso construir una Turing Machine u otro tipo de máquina de estados finitos para modelar algo como el interés humano y la emoción? Quizás el CSTheoy Stack Exchange es una mejor plataforma para esa pregunta.

O quizás State Machines y computablity son la rama incorrecta de mathmatics ... Mi intuición es que Teoría de juegos es una mejor herramienta para este modelo.