Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari. A formal framework for secure and complying services. The Journal of Supercomputing, 69(1):43-52, 2014. [doi]
@article{BasileDF14,
title = {A formal framework for secure and complying services},
author = {Davide Basile and Pierpaolo Degano and Gian Luigi Ferrari},
year = {2014},
doi = {10.1007/s11227-014-1211-0},
url = {http://dx.doi.org/10.1007/s11227-014-1211-0},
researchr = {https://researchr.org/publication/BasileDF14},
cites = {0},
citedby = {0},
journal = {The Journal of Supercomputing},
volume = {69},
number = {1},
pages = {43-52},
}