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 |
Be the first to leave a comment!
