Daniel Le Métayer. " A formal privacy management framework". 5th International Workshop on Formal Aspects in Security and Trust (FAST2008) Springer Verlag, LNCS, to appear, Malaga, Spain, October 2008.