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: |