Mukhtiar Memon Michael Hafner Ruth Breu SECTISSIMO: A Platform-Independent Framework for Security Services. 2008 MODSEC@MoDELS https://ceur-ws.org/Vol-413/paper02.pdf conf/models/2008modsec db/conf/models/modsec2008.html#MemonHB08