Environments for analyzing the security of smart objects