TITLE     : A formal framework for secure and complying services
AUTHOR(S) : Basile D., Degano P., Ferrari G.  L.
TYPE      : Journal article
YEAR      : 2014
CODE      : 412711

*** DO NOT EDIT THIS FILE ***