Open source systems security certification - Damiani, Ernesto, (Springer,)