Refinement operators and information flow security.
| Autor: | Bossi, A., Focardi, R., Piazza, C., Rossi, S. |
|---|---|
| Zdroj: | Proceedings of the First International Conference on Software Engineering & Formal Methods, 2003; 2003, p44-53, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|