A formal framework for secure and complying services.

Saved in:
Bibliographic Details
Title: A formal framework for secure and complying services.
Authors: Basile, Davide1, basile@di.unipi.it, Degano, Pierpaolo1, degano@di.unipi.it, Ferrari, Gian1, giangi@di.unipi.it
Source: Journal of Supercomputing; Jul2014, Vol. 69 Issue 1, p43-52, 10p
Database: Applied Science & Technology Source
Description
ISSN:09208542
DOI:10.1007/s11227-014-1211-0