Ho bisogno di progettare un modello di macchina statale per risolvere il conflitto di interessi nella sicurezza del computer. [Conosco il modello murario cinese ma è un modello di flusso di informazioni]
Esistono modelli esistenti?
Qualche motivo per cui non possiamo progettarlo come un modello di macchina di stato?
A meno che tu non intenda qualcosa di molto specifico dal "modello di macchina dello stato", non c'è motivo per cui non potresti modellare il conflitto di interessi usando una macchina a stati. Il muro cinese stesso può essere facilmente rappresentato come una macchina di stato, seguendo il tradizionale approccio BLP:
Ravi Sandhu ha effettivamente proposto una applicazione del modello di muro cinese usando un modello basato su reticolo e alcuni dei miei lavori di dottorato consistevano nel definire un modello generale di macchina dello stato per i sistemi di controllo degli accessi, incluso il muro cinese. La sezione 3.2 di questo documento può darti una definizione formale della CW usando una macchina a stati.
Spero che questo aiuti e posso portare ulteriori chiarimenti se lo desideri.
La risoluzione del conflitto di interessi è un problema calcolabile? Possiamo persino costruire una Turing Machine o un altro tipo di macchina a stati finiti per modellare qualcosa come interesse umano ed emozione? Forse lo CSTheoy Stack Exchange è una piattaforma migliore per tale domanda.
O forse le macchine statali e la computablità sono la branca sbagliata dei mathmatics ... La mia sensazione istintiva è che Teoria dei giochi è uno strumento migliore per un tale modello.
Leggi altre domande sui tag requirements