On Information Flow and Refinement−Closure
Gavin Lowe
Details
| Book Title |
Proceedings of the Workshop on Issues in the Theory of Security (WITS '07) |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Activities |