A process‐algebraic approach for the analysis of probabilistic noninterference.
Saved in:
| Title: | A process‐algebraic approach for the analysis of probabilistic noninterference. |
|---|---|
| Authors: | Aldini, Alessandro1, aldini@sti.uniurb.it, Bravetti, Mario2, Gorrieri, Roberto2 |
| Source: | Journal of Computer Security; 2004, Vol. 12 Issue 2, p191-245, 55p, 15 Diagrams, 4 Charts |
| Database: | Applied Science & Technology Source |
| ISSN: | 0926227X |
|---|---|
| DOI: | 10.3233/JCS-2004-12202 |
