Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa


Strategy-based and knowledge-based models of information flow: equivalence and decidability

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în volumul unei conferinţe

Autori: Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia

Editorial: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), p.33 - 40, 2007.


We show that two notions of information flow, one which is strategy-based and the other knowledge-based, are equivalent. The first notion models the possibilities that a highlevel user has to send information to the low-level user by distinctly observable runs, whereas the second notion models information leak as variations in the knowledge of the low-level user during his observation of the system behavior. We also give an algorithm for deciding whether a finitestate system has no information flow in our setting, by reducing the problem to a reachability problem in finite automata.

Cuvinte cheie: Strategy-based models of information flow, knowledge-based models of information flow,