Dependable and Secure VANETs for ITS (AmSud/CAPES project)