PUBLICATION: Environments for analyzing the security of smart objects © TELECOM ParisTech. Personal use of this material is permitted. The definitive version of this paper was published in and is available at : Document