Sound and Fine-grain Specification of Ideal Functionalities.

Published in: Theoretical Foundations of Practical Information Security (2008)