[Workshop - 2008 FAST]
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.