Semantic models for information flow
In the past, several definitions of information flow have been presented, based upon process algebras. Unfortunately, all these appear to be either too weak—failing to identify certain subtle forms of information flow or too strong—indicating information flow when there is none. In this paper, we pr...
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Journal article |
| Γλώσσα: | English |
| Έκδοση: |
Elsevier
2004
|
| Θέματα: |