Bielova, Nataliia
Bielova, Nataliia
Mostra
records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.01 secondi).
A theory of constructive and predictable runtime enforcement mechanisms
2012-01-01 Bielova, Nataliia
Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies
2011-01-01 Bielova, Nataliia; Massacci, Fabio
Do You Really Mean What You Actually Enforced?
2008-01-01 Massacci, Fabio; Bielova, Nataliia
Do you really mean what you actually enforced? - Edited automata revisited
2011-01-01 Bielova, Nataliia; Massacci, Fabio
Do you really mean what you actually enforced? Edit Automata revisited
2008-01-01 Massacci, Fabio; Bielova, Nataliia
Do you really mean what you actually enforced? EDIT AUTOMATA REVISITED
2009-01-01 Bielova, Nataliia; Massacci, Fabio
Iterative enforcement by suppression: Towards practical enforcement theories
2012-01-01 Bielova, Nataliia; Massacci, Fabio
Matching in security-by-contract for mobile code
2009-01-01 Bielova, Nataliia; N., Dragoni; Massacci, Fabio; K., Naliukaa; I., Siahaana
Predictability of Enforcement
2011-01-01 Bielova, Nataliia; Massacci, Fabio
Reactive non-interference for a browser model
2011-01-01 Bielova, Nataliia; Devriese, D.; Massacci, Fabio; Piessens, F.
Towards Practical Enforcement Theories
2009-01-01 Bielova, Nataliia; Massacci, Fabio; A., Micheletti