Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain information about what a high-level user of the system is doing. We use the priority took view (a discrete timed model) to...
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Journal article |
| Được phát hành: |
2006
|