DOI,IST REx ID,Title of publication
10.1007/11787006_10,4401,Preserving secrecy under refinement