@article{Massacci, Bielova,
author = "Fabio Massacci and Natalia Bielova",
doi = "10.1007/s10207-011-0137-2",
journal = "journal-of-information-security",
note = "PARTNER: UNITN; PROJECT:NESSOS; Citations: 6;",
title = "{D}o you really mean what you actually  enforced? {E}dit {A}utomata revisited.{I}nternational {J}ournal of {I}nformation {S}ecurity ({IJIS})",
year = "2011",
}