 | 2012 |
|---|
| 9 |       | Nataliia Bielova,
Fabio Massacci:
Iterative enforcement by suppression: Towards practical enforcement theories.
Journal of Computer Security 20(1): 51-79 (2012) |
| 2011 |
|---|
| 8 | | Nataliia Bielova,
Fabio Massacci:
Predictability of Enforcement.
ESSoS 2011: 73-86 |
| 7 | | Nataliia Bielova,
Dominique Devriese,
Fabio Massacci,
Frank Piessens:
Reactive non-interference for a browser model.
NSS 2011: 97-104 |
| 6 | | Nataliia Bielova,
Fabio Massacci:
Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies.
POLICY 2011: 89-96 |
| 5 | | Nataliia Bielova,
Fabio Massacci:
Do you really mean what you actually enforced? - Edited automata revisited.
Int. J. Inf. Sec. 10(4): 239-254 (2011) |
| 2009 |
|---|
| 4 | | Nataliia Bielova,
Fabio Massacci,
Andrea Micheletti:
Towards Practical Enforcement Theories.
NordSec 2009: 239-254 |
| 3 | | Nataliia Bielova,
Nicola Dragoni,
Fabio Massacci,
Katsiaryna Naliuka,
Ida Siahaan:
Matching in security-by-contract for mobile code.
J. Log. Algebr. Program. 78(5): 340-358 (2009) |
| 2008 |
|---|
| 2 | | Nataliia Bielova,
Marco Dalla Torre,
Nicola Dragoni,
Ida Siahaan:
Matching Policies with Security Claims of Mobile Applications.
ARES 2008: 128-135 |
| 1 | | Nataliia Bielova,
Fabio Massacci:
Do You Really Mean What You Actually Enforced?.
Formal Aspects in Security and Trust 2008: 287-301 |
Data released under the ODC-BY 1.0 license — See also our legal information page