A formal framework for secure and complying services.
Saved in:
| 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 |
| ISSN: | 09208542 |
|---|---|
| DOI: | 10.1007/s11227-014-1211-0 |