A Mechanism for Deriving Specifications of Security Functions in the CC Framework

Jussipekka Leiwo. A Mechanism for Deriving Specifications of Security Functions in the CC Framework. In Trevor J. M. Bench-Capon, Giovanni Soda, A. Min Tjoa, editors, Database and Expert Systems Applications, 10th International Conference, DEXA 99, Florence, Italy, August 30 - September 3, 1999, Proceedings. Volume 1677 of Lecture Notes in Computer Science, pages 416-425, Springer, 1999. [doi]

Authors

Jussipekka Leiwo

This author has not been identified. Look up 'Jussipekka Leiwo' in Google