Formalisation et sécurisation d'un business model