La présentation expliquera tout d'abord comment les exigences de sécurité se situent dans le cycle de développement d'un système. Nous ferons ensuite une revue exhaustive des différents types d'exigences de sécurité, en contextualisant ces types d'exigences sous la forme d'expressions simples et textuelles. Par la suite, nous montrerons, pour certaines de ces exigences, comment elles peuvent être exprimées au regard de diagrammes UML / SysML, et comment elles peuvent être formellement exprimées et vérifiées avec l'outil TTool.